A visual environment for developing context-sensitive term rewriting systems

Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen

Research output: Contribution to journalArticle

11 Scopus citations

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 languageEnglish (US)
Pages (from-to)301-311
Number of pages11
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3091
StatePublished - 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