XML Validation for Context-Free Grammars

DOI10.1007/11924661_22zbMath1168.68362OpenAlexW1510874604MaRDI QIDQ5385603

Akihiko Tozawa, Yasuhiko Minamide

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

A complete refinement procedure for regular separability of context-free languages ⋮ On the Balancedness of Tree-to-Word Transducers ⋮ Balancedness of MSO transductions in polynomial time ⋮ Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains ⋮ String Analysis as an Abstract Interpretation ⋮ On the Balancedness of Tree-to-Word Transducers

Uses Software

• PHP

This page was built for publication: XML Validation for Context-Free Grammars