A Visual Environment for Developing Context-Sensitive Term Rewriting Systems

  title={A Visual Environment for Developing Context-Sensitive Term Rewriting Systems},
  author={Jacob Matthews and Robert Bruce Findler and Matthew Flatt and Matthias Felleisen},
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… CONTINUE READING
Highly Cited
This paper has 61 citations. REVIEW CITATIONS


Publications citing this paper.

62 Citations

Citations per Year
Semantic Scholar estimates that this publication has 62 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 14 references

PLT MzScheme: Language manual

  • M. Flatt
  • Technical Report TR97-280, Rice University
  • 1997
Highly Influential
6 Excerpts

Revised 5 report of the algorithmic language Scheme

  • R. Kelsey, W. Clinger, J.R.
  • ACM SIGPLAN Notices33
  • 1998

Similar Papers

Loading similar papers…