Subject: talk by Benjamin Pierce next Monday
From: Craig Chambers (chambers@cs.washington.edu)
Date: Mon Apr 30 2001 - 14:03:51 PDT
Benjamin Pierce will be visiting next Monday through Wednesday. He's giving a
talk on some of his XML work on Monday. Please come, and let me know if you'd
like some time to talk to Benjamin while he's here.
-- Craig
Monday May 7
1:30-2:30
MGH 82a
REGULAR EXPRESSION TYPES FOR XML
Benjamin C. Pierce
University of Pennsylvania
The recent rush to adopt XML can be attributed in part to the hope that
the static typing provided by DTDs (or more sophisticated mechanisms such
as XML-Schema) will improve the robustness of data exchange and
processing. However, although XML _documents_ can be checked for
conformance with DTDs, current XML processing languages offer no way of
verifying that _programs_ operating on XML structures will always produce
conforming outputs.
We have designed and implemented a domain-specific language for XML
processing, called XDuce. The main novelties of XDuce are:
1) A type system based on _regular expression types_. Regular
expression types are a natural generalization of DTDs, describing
structures in XML documents using regular expression operators (*,
?, |, etc.) and supporting a powerful form of subtyping.
2) A corresponding mechanism for _regular expression pattern matching_,
which supports concise "grep-style" patterns for extracting
information from inside structured sequences.
The lessons learned from XDuce are now being incorporated in a new
language, called Xtatic, whose design focuses on smooth interoperability
with host languages such as Java and C#.
[Joint work with Haruo Hosoya and Jerome Vouillon, with contributions
from Phil Wadler and Peter Buneman.]
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Mon Apr 30 2001 - 14:04:04 PDT