School of Computing

Declarative extensions of xml languages

Simon Thompson and Peter King

Technical Report 3-07, University of Kent, Computing Laboratory, May 2007.

Abstract

This work is a continuation of previous, published joint work towards a set of XML language extensions that bring tools from the functional programming world to web authors, extending the power of declarative modeling for the web. Our previous work concentrated on two aspects, expressions and user-defined events, and deliberately left aside other questions regarding data types, encapsulation and so forth.

Work addressed here includes the addition of various facilities to XML languages including definitions and parameterization; complex data and data types; reactivity, events and continuous "behaviours". We have considered these extensions in the light of existing and emerging World Wide Web Consortium standards.

Download publication 181 kbytes (PDF)

Bibtex Record

@techreport{2524,
author = {Simon Thompson and Peter King},
title = {Declarative Extensions of XML Languages},
month = {May},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2524},
    publication_type = {techreport},
    submission_id = {3856_1178621878},
    number = {3-07},
    institution = {University of Kent, Computing Laboratory},
}

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

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

Last Updated: 21/03/2014