2000 · 41 citations · 5 references
ComputingComputer ScienceInformation TechnologyFormal MethodsSoftware EngineeringSyntaxAbstract Syntax TreesParsingSpecification LanguagesSyntactic AnalysisSyntax AnalysisSyntax ParsingAbstract Syntax Tree RepresentationAbstract Syntax Tree TransformationExtensible Markup LanguageTransformationsTree GrammarsXml Data ModelsXml Encoding
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application of formal methods such as specification of abstract syntax tree sets and tree transformations.
5
Document Structure Description 1.0
Nils Klarlund, Anders Møller, Michael I. Schwartzbach · 2000 · 14 citations