Regular expression types for XML

DOI10.1145/351240.351242zbMath1321.68197OpenAlexW2072137506MaRDI QIDQ2943355

Jérôme Vouillon, Haruo Hosoya, Benjamin C. Pierce

Publication date: 11 September 2015

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

Full work available at URL: https://repository.upenn.edu/cis_papers/82

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

PiDuce- A project for experimenting web services technologies ⋮ Unnamed Item ⋮ Typechecking for XML transformers ⋮ POSIX lexing with derivatives of regular expressions ⋮ A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams ⋮ XML graphs in program analysis ⋮ Verification of tree-processing programs via higher-order mode checking ⋮ Boolean operations and inclusion test for attribute-element constraints ⋮ A Typed Calculus for Querying Distributed XML Documents ⋮ A Rude Contract Language for Web Services

This page was built for publication: Regular expression types for XML