XML graphs in program analysis

DOI10.1016/j.scico.2009.11.007zbMath1215.68079OpenAlexW1985656553MaRDI QIDQ532414

Anders Møller, Michael I. Schwartzbach

Publication date: 4 May 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.11.007

zbMATH Keywords

type checkingXML programmingXML validity

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Theory of programming languages (68N15) Data structures (68P05) Theory of software (68N99)

Related Items (3)

Foundations of fine-grained explainability ⋮ XML graphs in program analysis ⋮ XML security protection scheme based on Kerberos authentication and polynomials authorization

Uses Software

• XQuery
• Soot
• XPath
• Relax NG
• XSugar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• XML graphs in program analysis
• Frontiers of tractability for typechecking simple XML transformations
• Monotone data flow analysis frameworks
• Typechecking for XML transformers
• Regular expression types for XML
• XML Type Checking Using High-Level Tree Transducer
• Analyzing Ambiguity of Context-Free Grammars
• Regular expression pattern matching for XML
• Database Theory - ICDT 2005
• Database Programming Languages
• A characterization of parenthesis languages

This page was built for publication: XML graphs in program analysis