The DSD schema language

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

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

Publication date: 17 February 2003

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

Full work available at URL: https://doi.org/10.1023/a:1016376608070

zbMATH Keywords

XMLgrammarstree languagesDTDXML Schemas

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Boolean operations and inclusion test for attribute-element constraints

This page was built for publication: The DSD schema language