Evaluation of XPath Fragments Using Lambda Calculi

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F08%3A00101264" target="_blank" >RIV/00216208:11320/08:00101264 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

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
Vyhodnocení fragmentů XPath pomocí XML-Lambda kalkulu
Czech description
Vyhodnocení fragmentů XPath pomocí XML-Lambda kalkulu, [http://ics.upjs.sk/itat/]

Project
<a href="/en/project/GA201%2F06%2F0756" target="_blank" >GA201/06/0756: Development of a native storage for XML data</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
ITAT 2008 Informačné Technológie - Aplikácie a Teória, Hrebienok, Slovakia, September 2008
ISBN
978-80-969184-8-5
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
—
Publisher name
PONT Slovakia
Place of publication
Košice, Slovensko
Event location
Košice, Slovensko
Event date
Jan 1, 2008
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—

Similar results(10)