FLUX: functional updates for XML

DOI10.1145/1411204.1411209MaRDI QIDQ5178748zbMATH OpenOpenAlexFDO

Authors James Cheney

Publication date 16 March 2015

Published in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

static analysistype systemsupdate languagesXML

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• Regular Expression Subtyping for XML Query and Update Languages
• scientific article; zbMATH DE number 2241915
• Static analysis for path correctness of XML queries
• Types for path correctness of XML queries
• On securely manipulating XML data

Cited in

(4)

• XML data manipulation in conventional and temporal XML databases: a survey
• Types for path correctness of XML queries
• Regular Expression Subtyping for XML Query and Update Languages
• Static analysis for path correctness of XML queries

This page was built for publication: FLUX: functional updates for XML

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