Theoretical aspects of object-oriented programming: types, semantics, and language design
Theoretical aspects of object-oriented programming: types, semantics, and language design
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
MSL — a model for W3C XML schema
Proceedings of the 10th international conference on World Wide Web
Types and programming languages
Types and programming languages
Syntactic control of interference
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Theory of Objects
Handbook of Formal Languages
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Automata theory for XML researchers
ACM SIGMOD Record
The Essence of XML (Preliminary Version)
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
XDuce: A Typed XML Processing Language (Preliminary Report)
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
Formal definition of programming language standards
ACM SIGPLAN Notices
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A semantics for web services authentication
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Schemapath, a minimal extension to xml schema for conditional constraints
Proceedings of the 13th international conference on World Wide Web
Expressiveness of XSDs: from practice to theory, there and back again
WWW '05 Proceedings of the 14th international conference on World Wide Web
An environment for maintaining computation dependency in XML documents
Proceedings of the 2005 ACM symposium on Document engineering
One document to bind them: combining XML, web services, and the semantic web
Proceedings of the 15th international conference on World Wide Web
Using reflection for querying XML documents
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Static analysis for path correctness of XML queries
Journal of Functional Programming
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
A semantics for web services authentication
Theoretical Computer Science - Theoretical foundations of security analysis and design II
Implementing XQuery 1.0: the Galax experience
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
MARS: A metamodel recovery system using grammar inference
Information and Software Technology
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
CSchema: a downgrading policy language for XML access control
Journal of Computer Science and Technology
ICOODB'09 Proceedings of the Second international conference on Object databases
Precision and complexity of XQuery type inference
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Algebraic semantics of XML schema
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Verification theories for XML schema
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Towards algebraic query optimisation for XQuery
Journal on Data Semantics VII
Mechanizing the metatheory of mini-XQuery
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Interoperability in service-based communities
BPM'05 Proceedings of the Third international conference on Business Process Management
Understanding privacy policies
Empirical Software Engineering
| Hi-index | 0.00 |
The World-Wide Web Consortium (W3C) promotes XML and related standards, including XML Schema, XQuery, and XPath. This paper describes a formalization of XML Schema. A formal semantics based on these ideas is part of the official XQuery and XPath specification, one of the first uses of formal methods by a standards body. XML Schema features both named and structural types, with structure based on tree grammars. While structural types and matching have been studied in other work (notably XDuce, Relax NG, and a previous formalization of XML Schema), this is the first work to study the relation between named types and structural types, and the relation between matching and validation.