Types for path correctness of XML queries

DOI10.1145/1016850.1016869zbMath1323.68067DBLPconf/icfp/ColazzoGMS04OpenAlexW291475576WikidataQ57616991 ScholiaQ57616991MaRDI QIDQ5178031

Paolo Manghi, Dario Colazzo, Carlo Sartiani, Giorgio Ghelli

Publication date: 9 March 2015

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

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

zbMATH Keywords

XML queriestype correctnessXML types

Mathematics Subject Classification ID

Database theory (68P15) Theory of programming languages (68N15) Data structures (68P05)

Uses Software

• CDuce

This page was built for publication: Types for path correctness of XML queries