XML Validation for Context-Free Grammars
From MaRDI portal
Publication:5385603
DOI10.1007/11924661_22zbMath1168.68362MaRDI QIDQ5385603
Yasuhiko Minamide, Akihiko Tozawa
Publication date: 6 May 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11924661_22
68Q42: Grammars and rewriting systems
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
String Analysis as an Abstract Interpretation, Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
Uses Software