Regular Expression Subtyping for XML Query and Update Languages

DOI10.1007/978-3-540-78739-6_3zbMath1133.68329OpenAlexW1504213362MaRDI QIDQ5458384

James Cheney

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_3

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

Mechanizing the Metatheory of mini-XQuery

Uses Software

• CDuce
• XDuce

This page was built for publication: Regular Expression Subtyping for XML Query and Update Languages