School of Computing

Declarative extensions of XML languages

Simon Thompson, Peter R. King, and Patrick Schmitz

In Peter R. King and Steven Simske, editors, Proceedings of the 2007 ACM symposium on Document engineering, pages 182-196. ACM, ACM Press, August 2007.

Abstract

We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous work discussed expressions and user-defined events. In this paper, we discuss how one may extend XML by adding definitions and parameterization; complex data and data types; and reactivity, events and continuous "behaviours". We consider these extensions in the light of World Wide Web Consortium standards, and illustrate their utility by a variety of use cases.

Download publication 259 kbytes (PDF)

Bibtex Record

@inproceedings{2606,
author = {Simon Thompson and Peter R. King and Patrick Schmitz},
title = {{Declarative extensions of XML languages}},
month = {August},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2606},
    publication_type = {inproceedings},
    submission_id = {7082_1189074741},
    ISBN = {978-1-59593-776-6},
    booktitle = {Proceedings of the 2007 ACM symposium on Document engineering},
    editor = {Peter R. King and Steven Simske},
    organization = {ACM},
    publisher = {ACM Press},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014