[Colloquium] Matthews/M.S. Presentation/Dec. 6, 2004

[Margaret Jaffey]

This is an announcement of Jacob Matthews' Master's Presentation.

----------
Date:  Monday, December 6, 2004

Time:  2:30 p.m.

Place:  Ryerson 251

M.S. Candidate:  Jacob Matthews

M.S. Paper Title:  Operational Semantics For Scheme Via Term Rewriting

Abstract:
We explain how to use Felleisen-style context-sensitive rewriting 
systems
to give operational semantics to programming languages, show the use of
PLT Redex, a tool for visually exploring these rewriting systems, and
finally present an operational semantics for R^5RS Scheme encoded in
PLT Redex.  This is to our knowledge the first operational semantics for
R^5RS Scheme that covers the entire report, and the most complete formal
encoding of the language's semantics given in any style.

Advisor:  Prof. Robert Findler

A draft copy of Jacob Matthews' MS Paper is available in Ry 161A.


-- 
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
Margaret P. Jaffey				margaret at cs.uchicago.edu
Department of Computer Science
Student Support Rep (Ry 161A)		(773) 702-6011
The University of Chicago		http://www.cs.uchicago.edu
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-