Publication at Faculty of Mathematics and Physics |
2008
Abstract
XML Path Language (XPath) is the most important standard for navigation within XML documents nowadays. In this paper we present the state of our current research that is focused on using a functional framework based on simply typed lambda calculi and a general type system - XML-Lambda - for description of semantics of a query language.
With such formalism we are able to describe the semantics of all language constructs and evaluate XPath queries using the XML-Lambda virtual machine.