Abstract
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in establishing type soundness proofs. Unfortunately, developing such semantics is an error-prone activity. To address that problem, we have designed PLT Redex, an embedded domain-specific language that helps users interactively create and debug context-sensitive term-rewriting systems. We introduce the tool with a series of examples and discuss our experience using it in courses and developing an operational semantics for R 5RS Scheme.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 301-311 |
| Number of pages | 11 |
| Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Volume | 3091 |
| State | Published - Dec 1 2004 |
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Fingerprint Dive into the research topics of 'A visual environment for developing context-sensitive term rewriting systems'. Together they form a unique fingerprint.
Cite this
Matthews, J., Findler, R. B., Flatt, M., & Felleisen, M. (2004). A visual environment for developing context-sensitive term rewriting systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3091, 301-311.