Regular expression types for XML
From MaRDI portal
Recommendations
Cited in
(29)- Typechecking for XML transformers
- Boolean operations and inclusion test for attribute-element constraints
- Canonical regular types
- Weak inclusion for recursive XML types
- Almost-linear inclusion for XML regular expression types
- Regular expression pattern matching for XML
- Regular expression filters for XML
- Regular hedge language factorization revisited
- Subtyping algorithm of regular tree grammars with disjoint production rules
- Minimal tree language extensions: a keystone of XML type compatibility and evolution
- Complexity of decision problems for XML schemas and chain regular expressions
- A Typed Calculus for Querying Distributed XML Documents
- Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
- scientific article; zbMATH DE number 2080481 (Why is no real title available?)
- A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams
- Regular expression pattern matching for XML
- Weak inclusion for XML types
- scientific article; zbMATH DE number 7168151 (Why is no real title available?)
- A rude contract language for web services
- Database Theory - ICDT 2005
- XML graphs in program analysis
- Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)
- Regular Expression Subtyping for XML Query and Update Languages
- Programming Languages and Systems
- Grammatical Inference: Algorithms and Applications
- Programming Languages and Systems
- Verification of tree-processing programs via higher-order model checking
- POSIX lexing with derivatives of regular expressions
- PiDuce- A project for experimenting web services technologies
This page was built for publication: Regular expression types for XML
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2943355)
