Xtatic home page (original) (raw)

The Xtatic Project: Native XML processing for C#

The Xtaticproject aims to develop theoretical foundations and implementation techniques for a lightweight extension of C# tailored for native XML processing. The fundamental technologies involved, regular expression types and regular expression pattern matching, have been explored in a prototype language design called Xduce. The goal of the project is to make these technologies available in a mainstream language. Key issues concern interoperability both at the level of the type system (merging regular expression types with the object model of C#) and in the implementation (maintaining complete binary-level compatibility with class files produced by standard .NET compilers) and compatibility with existing standards (e.g., XML-Schema).

Primary personnel:

• Vladimir Gapeyev
• Michael Levin
• Benjamin C. Pierce, project leader
• Alan Schmitt

Collaborators:

• Peter Buneman
• Vincent Cremet
• Haruo Hosoya
• Martin Odersky
• Eijiro Sumii
• Jerome Vouillon
• Philip Wadler
• Matthias Zenger

Papers and talks:

• See here

Compiler sources (provided on an "as-is" basis!):

• here

More Information:

• A more detailed project outline
• The Xduce home page, including several papers on the fundamental technologies behind Xtatic

Work on the Xtatic project is supported by the National Science Foundation (ITR CCR-0219945, Types for XML) and by gifts from Microsoft corporation.