Redex: a language for lightweight semantics engineering (keynote) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Robby Bruce Findler. Redex: a language for lightweight semantics engineering (keynote). In Tijs van der Storm, Emilie Balland, Dániel Varró, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016. pages 1, ACM, 2016. [doi]

The following publications are possibly variants of this publication:

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009.

Randomized Testing in PLT RedexCasey Klein, Robby Findler. In Workshop on Scheme and Functional Programming (SFP). 2009:

Semantics Engineering with PLT RedexMatthias Felleisen, Robby Findler, Matthew Flatt. MIT Press, 2009. [doi]

An operational semantics for SchemeJacob Matthews, Robby Findler. JFP, 18(1):47-86, 2008. [doi]

A Visual Environment for Developing Context-Sensitive Term Rewriting SystemsJacob Matthews, Robby Findler, Matthew Flatt, Matthias Felleisen. RTA 2004: 301-311 [doi]

runs on WebDSL