A Catalog of Research Compiler Infrastructures and Tools

PLT Redex is a domain-specific language designed for specifying and debugging operational semantics. Write down a grammar and the reduction rules, and PLT Redex produces a stepper. It also provides support for building a test suites from the specification of a semantics.

This entry was posted on Sunday, December 23rd, 2007 at 12:35 pm and is filed under Scheme, Semantic assistants. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.