Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

October 2005


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


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