| 
|
Quote: a validated element must match its type, since validation yields sensible values; consequence of pure named typing
topics >
all references >
references sa-sz >
Topic:
XML schemas
Group:
type checking
Topic:
dynamic type checking
Topic:
type-safe and secure languages
Topic:
structural equivalence vs. name equivalence of data types
Quotation Skeleton
Validation always yields a sensible value. THEOREM 2. … As a corollary, matching against an element can … (Optimized matching) … [To determine that] element ElementName of type TypeName { Value … the result of validation. Optimized matching is both … typing, which ensures that every validated element contains … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: XML schemas (16 items)
Group: type checking (12 topics, 385 quotes)
Topic: dynamic type checking (43 items)
Topic: type-safe and secure languages (42 items)
Topic: structural equivalence vs. name equivalence of data types (30 items)