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 2009||generated with PLT Scheme|