
Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
October 2005
Abstract
XTATIC is a lightweight extension of C⋕ with native support for statically typed XML processing. It features XML trees as built-in values, a refined type system based on regular types à la XDUCE, and regular patterns for investigating and manipulating XML. We describe our experiences using XTATIC in a real-world application: a program for transforming XMLSPEC, a format used for authoring W3C technical reports, into HTML. Our implementation closely follows an existing one written in XSLT, facilitating comparison of the two languages and analysis of the costs and benets—both signicant—of rich static typing for XML-intensive code.
Date Posted: 26 October 2006

Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-05-21.