| 
|
Quote: formalization of XML Schema using tree grammars; named types and structural types; matching and validation
topics >
all references >
references sa-sz >
Topic:
formal methods and languages
Topic:
XML schemas
Topic:
text markup and structured text
Group:
grammar
Topic:
structural equivalence vs. name equivalence of data types
Topic:
type algebras, typed lambda calculus, and type-complete languages
Topic:
good requirement specifications
Quotation Skeleton
The World-Wide Web Consortium (W3C) promotes XML and … A formal semantics based on these ideas is … by a standards body. XML Schema features both … this is the first work to study the … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: formalization of XML Schema used for XQuery and XPath specifications; one of the first
Topic: formal methods and languages (53 items)
Topic: XML schemas (16 items)
Topic: text markup and structured text (24 items)
Group: grammar (8 topics, 180 quotes)
Topic: structural equivalence vs. name equivalence of data types (30 items)
Topic: type algebras, typed lambda calculus, and type-complete languages (28 items)
Topic: good requirement specifications (36 items)