Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:The Essence of XML
Authors: Jerome Simeon ; Philip Wadler
Date:Jan 2003
Publication Title:ACM Annual Symposium on Principles of Programming Languages (POPL)
Publication Type:Conference Paper Publication Status:Published
Page Nos:1-13
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.
Links To Paper
ACM Digital Portal
Bibtex format
author = { Jerome Simeon and Philip Wadler },
title = {The Essence of XML},
book title = {ACM Annual Symposium on Principles of Programming Languages (POPL)},
publisher = {ACM},
year = 2003,
month = {Jan},
pages = {1-13},
doi = {10.1145/604131.604132},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh