Re: talk by Benjamin Pierce next Monday


Subject: Re: talk by Benjamin Pierce next Monday
From: E Christopher Lewis (lewis@cis.upenn.edu)
Date: Mon Apr 30 2001 - 14:42:50 PDT


Hi, all. It would appear that I am still on one of these mailing lists
(apologies for the spying). Benjamin is quite fantastic. I would
highly recommend you chat with him. And, of course, give him hell at
his talk. E.

> 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 - 16:43:10 PDT