Technical Reports (CIS)
Title
Document Type
Technical Report
Date of this Version
October 2004
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 in the style of XDUCE, and "tree grep"-style regular patterns for traversing and manipulating XML.
Previous papers on XTATIC have reported results on a number of specific technical issues: basic theoretical properties of an idealized core language, novel compilation algorithms for regular pattern matching, and efficient runtime support for XML processing in the style encouraged by XTATIC. The aim of the present paper is to discuss XTATIC—less formally and more holistically—from the perspective of language design. We survey the most significant issues we faced in the design process and evaluate the choices we have made in addressing them.
Recommended Citation
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt, "The XTATIC Experience", . October 2004.
Date Posted: 26 June 2005
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-04-24.