A Core Calculus for XQuery 3.0 Combining Navigational and Pattern Matching Approaches

Publication

A Core Calculus for XQuery 3.0 – Combining Navigational and Pattern Matching Approaches

ESOP 2015: European Symposium on Programming. 14-16 April 2015, pp. 232-256

Authors

Giuseppe Castagna Hyeonseung Im Kim Nguyễn Véronique Benzaken

Tags

programming-languages formal-methods data-systems