Evaluation of XPath Fragments Using Lambda Calculi
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F08%3A00145418" target="_blank" >RIV/68407700:21230/08:00145418 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Evaluation of XPath Fragments Using Lambda Calculi
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F06%2F0756" target="_blank" >GA201/06/0756: Development of a native storage for XML data</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Information Technologies - Applications and Theory
ISBN
978-80-969184-9-2
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
—
Publisher name
Univerzita P. J. Šafárika
Place of publication
Košice
Event location
Hrebinok, Vysoké Tatry
Event date
Sep 22, 2008
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—