Regular expression types for XML

By Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce. ACM SIGPLAN International Conference on Functional Programming, 2000

302 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/351565f4460f1171b7e11c244e42ad96928d63d2

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Victor Vianu
2. Dan Suciu
3. Tova Milo
4. Ihab F. Ilyas

In Computer Networks and Communications

1. Victor Vianu
2. Dan Suciu
3. Tova Milo

Citations in the corpus

• Typechecking for XML transformers (2000, methodology): “Checking containment of regular tree languages is decidable, and a practical algorithm specifically designed for XML typechecking is described in [24].”