A formal model for an expressive fragment of XSLT

This publication has 12 references indexed in Scilit:

• A formal semantics of patterns in XSLT and XPath
  Markup Languages: Theory and Practice, 2000
• Typechecking for XML transformers
  Published by Association for Computing Machinery (ACM) ,2000
• Expressive and efficient pattern languages for tree-structured data (extended abstract)
  Published by Association for Computing Machinery (ACM) ,2000
• Query automata
  Published by Association for Computing Machinery (ACM) ,1999
• Expressiveness of structured document query languages based on attribute grammars
  Published by Association for Computing Machinery (ACM) ,1998
• The Lorel query language for semistructured data
  International Journal on Digital Libraries, 1997
• Languages, Automata, and Logic
  Published by Springer Nature ,1997
• A query language and optimization techniques for unstructured data
  Published by Association for Computing Machinery (ACM) ,1996
• Recognizable sets of graphs: equivalent definitions and closure properties
  Mathematical Structures in Computer Science, 1994
• Définition et etude des Bilangages réguliers
  Information and Control, 1968