MSL: A model for W3C XML Schema

Computer Networks

Volumn 39, Issue 5, 2002, Pages 507-521

  Brown, Allen ^a   Fuchs, Matthew ^b   Robie, Jonathan ^c   Wadler, Philip ^d  

^a MICROSOFT   (United States)

^b Westbridge Technology Inc   (United States)

^c Software AG   (United States)

^d AVAYA LABS RESEARCH   (United States)

Author keywords

Datatypes; Formal methods; Formal semantics; Model Schema Language; Types; XML; XML Query; XML Schema; XML Schema formal description

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; SEMANTICS; WORLD WIDE WEB;

MODEL SCHEMA LANGUAGE (MSL);

XML;

EID: 0037025799     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(02)00225-6     Document Type: Conference Paper

References (12)

1. Algorithms for finding patterns in strings
2. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879)
3. Regular expression types for XML
4. Type inference for queries on semistructured data
5. A formal semantics of patterns in XSLT
6. New language, old logic