Growing XQuery
Abstract elided by the publisher.
Related papers
- Mechanizing the Metatheory of mini-XQuery CPP 2011
- Context-Preserving XQuery Fusion APLAS 2010
- A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches ESOP 2015
- XQuery and static typing: tackling the problem of backward axes ICFP 2015
- Regular Expression Subtyping for XML Query and Update Languages ESOP 2008
- The essence of XML POPL 2003
- PADS: a domain-specific language for processing ad hoc data PLDI 2005
- Small Faults Grow Up - Verification of Error Masking Robustness in Arithmetically Encoded Programs VMCAI 2019