XQuery and static typing: tackling the problem of backward axes

DOI10.1145/2784731.2784746MaRDI QIDQ2981946zbMATH OpenOpenAlexWikidataFDO

Authors Pierre Genevès, Nils Gesbert

Publication date 10 May 2017

Published in Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2784731.2784746

zbMATH Keywords

\(\mu\)-calculusregular tree typesXMLXQuery

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Backward type inference for XML queries
• Regular Expression Subtyping for XML Query and Update Languages
• XML with data values: Typechecking revisited.
• Static analysis for path correctness of XML queries
• A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches

Cited in

(3)

• Backward type inference for XML queries
• A core calculus for XQuery 3.0. Combining navigational and pattern matching approaches
• Static analysis for path correctness of XML queries

Describes a project that uses

Uses Software

• XQuery

This page was built for publication: XQuery and static typing: tackling the problem of backward axes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2981946)