ScholarLens Back to search
2010•Unpublished venueRequires access

On the denotational semantics of XML-Lambda.

Pavel Loupal, Karel Richta

Open publisher page 0 citations

Abstract

Abstract. The article deals with the denotational seman-tics of a special query language called XML-Lambda (abbreviated as XML-), which is based on the simply typed lambda calculus. The exact semantics allows experimenta-tion with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML- en-vironment. The main advantage of our approach is the pos-sibility of a query optimizations in the XML- intermedi-ate form. It is much more easier than optimizations based on the official W3C semantics. XML- is a part of more complex XML- Framework which serves for experiment-ing with the tools for XML processing. 1

About this research paper

What this paper is about

Abstract. The article deals with the denotational seman-tics of a special query language called XML-Lambda (abbreviated as XML-), which is based on the simply typed lambda calculus. The exact semantics allows experimenta-tion with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML- en-vironment. The main advantage of our approach is the pos-sibility of a query optimizations in the XML- intermedi-ate form. It is much more easier than optimizations based on the official W3C semantics. XML- is a part of more complex XML- Framework which serves for experiment-ing with the tools for XML processing. 1

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Abstract. The article deals with the denotational seman-tics of a special query language called XML-Lambda (abbreviated as XML-), which is based on the simply typed lambda calculus. The exact semantics allows experimenta-tion with a language definition, prototyping of programs, and similar experiments. One of such experiment is the implementation of the XQuery language in the XML- en-vironment. The main advantage of our approach is the pos-sibility of a query optimizations in the XML- intermedi-ate form. It is much more easier than optimizations based on the official W3C semantics. XML- is a part of more complex XML- Framework which serves for experiment-ing with the tools for XML processing. 1

Key concepts: Computer science, Programming language, XML Schema Editor, XML validation, Streaming XML, Normalisation by evaluation, XQuery, Efficient XML Interchange

Related papers

Related paper 1Related paper 2Related paper 3
Back to paper searchBrowse research topicsOriginal source
On the denotational semantics of XML-Lambda. — Research Paper | ScholarLens