CSAIL Event Calendar
PL/SE Seminar: Mechanizing the metatheory of XQuerySpeaker: James Cheney, University of Edinburgh Date: Wednesday, November 7 2012 Time: 2:00PM to 3:00PM Location: 32-G882 (reading room) Host: Adam Chlipala, CSAIL Contact: Adam Chlipala, adamc@csail.mit.edu Relevant URL: http://homepages.inf.ed.ac.uk/jcheney/Nominal abstract syntax (as implemented in the Nominal Isabelle tool) is becoming a popular way to formalize and verify properties of programming languages. However, formalization techniques have yet to make an impact on the design of real-world programming languages, such as new W3C standards. In this talk I'll present a formalization of a fragment of XQuery, a 2007 standard for querying XML data. While the mini-XQuery fragment we have formalized represents a substantial effort, it omits a number of key features, and I will discuss how these can be handled in future work.
 
|