The DSD schema language

DOI10.1023/A:1016376608070zbMath1034.68622MaRDI QIDQ1857291

Anders Møller, Michael I. Schwartzbach, Nils Klarlund

Publication date: 17 February 2003

Published in: Automated Software Engineering (Search for Journal in Brave)

zbMATH Keywords

XML; grammars; tree languages; DTD; XML Schemas

Mathematics Subject Classification ID

68N15: Theory of programming languages

68U99: Computing methodologies and applications

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Boolean operations and inclusion test for attribute-element constraints