Notes on PLT Redex

Here’s one slides I gave in our group.

And I recommend several places to get you familiar with it.

Tutorials

• Redex Doc(short tutorial + long tutorial)
• An Introduction to Redex with Abstracting Abstract Machines by David Van Horn
• Experimenting with Languages in Redex by William J. Bowman

Paper

• Automated Testing for Operational Semantics from Burke Fetscher

Videos

• OPLSS Talks by David Van Horn

Books

• Semantics Engineering with PLT Redex

Courses

• CPSC 539B – Compiler Theory by William J. Bowman
• CMSC631 Program Analysis and Understanding by David Van Horn

Examples

• racket/redex repo

Others

• PLT Redex FAQ

Notes

Evaluation context has been heavily used in PLT Redex examples. Some links below may help.

• Why do I need evaluation contexts in Redex?
• Evaluation context in textbook PFPL