TY - JOUR
T1 - A visual environment for developing context-sensitive term rewriting systems
AU - Matthews, Jacob
AU - Findler, Robert Bruce
AU - Flatt, Matthew
AU - Felleisen, Matthias
PY - 2004/12/1
Y1 - 2004/12/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=35048881084&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=35048881084&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:35048881084
SN - 0302-9743
VL - 3091
SP - 301
EP - 311
JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ER -