G269 S '09

CS G 269: Practical Tools for Working Semanticists


The goal of this seminar-course is an in-depth introduction to reduction semantics (as opposed to small step or big step semantics). The course will cover its theoretical foundations, practical tricks for formulating a reduction semantics, and the use of PLT Redex for experimenting with prototypes.

The course assumes some exposure to semantics and a thorough understanding of interpreters.

Due to the expected diversity of backgrounds, students may end up working on their own or in small groups.

last updated on Wed Jul 8 02:27:43 EDT 2009generated with PLT Scheme