Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Tue 1 Nov 2016 08:30 - 10:00 at Zürich 2 - SLE Keynote Chair(s): Tijs van der Storm

Redex is a programming language designed to support semantics engineers as they experiment with programming language models. To explore a model, an engineer writes down grammars, type systems, and operational semantics in a notation inspired by the programming languages literature. Redex breathes life into the model, building typing derivations, running example expressions, and using random generation to falsify claims about the model.

Tue 1 Nov

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
SLE KeynoteSLE at Zürich 2
Chair(s): Tijs van der Storm CWI & University of Groningen
SLE 2016 Keynote: Redex: Lightweight Semantics EngineeringKeynote
I: Robert Bruce Findler Northwestern University
Link to publication Media Attached