DSD: a schema language for XML

Proceedings of the Workshop on Formal Methods in Software Practice

Volumn , Issue , 2000, Pages 101-111

  Klarlund, Nils ^a   Moller, Anders ^a   Schwartzbach, Michael I ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CASCADING STYLE SHEETS; DOCUMENT STRUCTURE DESCRIPTION; SYNTAX; TREE TRANSFORMATIONS;

BOOLEAN FUNCTIONS; COMPUTER SCIENCE; FORMAL LANGUAGES; HTML; SGML; SYNTACTICS;

XML;

EID: 0034503985     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (22)