Regular tree language recognition with static information

IFIP Advances in Information and Communication Technology

Volumn 155, Issue , 2004, Pages 661-674

  Frisch, Alain ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PATTERN MATCHING;

REGULAR TREE LANGUAGES; STATIC INFORMATION; TYPE SYSTEMS;

COMPUTER SCIENCE;

EID: 84901012534     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (11)

1. Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XMLcentric general-purpose language. In ICFP, 2003.
2. Tim Bray, Jean Paoli, and C. M. Sperberg-McQueen. Extensible markup language (XML) 1.0. In W3C Recommendation, 1998.
3. Alain Frisch, Giuseppe Castagna, and Véronique Benzaken. Semantic subtyping. In LICS, 2002.
4. Vladimir Gapeyev and Benjamin Pierce. Regular object types. In FOOL, 2003.
5. Haruo Hosoya. Regular expression types for XML. Ph. D thesis. The University of Tokyo, 2000.
6. Haruo Hosoya and Benjamin Pierce. Regular expression pattern matching for XML. Journal of Functional Programming, 2002.
7. Michael Levin. Compiling regular patterns. In ICFP, 2003.
8. Frank Neven. Automata theory for XML researchers. In SIGMOD Record, 31(3), 2002., 2002.
9. Andreas Neumann and Helmut Seidl. Locating matches of tree patterns in forests. In Foundations of Software Technology and Theoretical Computer Science, pages 134-145, 1998. Extended abstract available at http://www. informatik.uni-trier.de/~seidl/conferences.html.
10. Jerome Simeon and Philip Wadler. The essence of XML. In POPL, 2003.
11. Henri S. Thompson, David Beech, Murray Maloney, and N. Mendelsohn. XML Schema part 1: Structures. In W3C Recommendation, 2001.