A visual environment for developing context-sensitive term rewriting systems

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

A visual environment for developing context-sensitive term rewriting systems

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

Computer Science

Research output: Contribution to journal › Article › peer-review

17 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 ⁵RS 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)

Cite this

@article{d90c9d98d6874ba5b23d1d5eb05624c2,

title = "A visual environment for developing context-sensitive term rewriting systems",

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.",

author = "Jacob Matthews and Findler, {Robert Bruce} and Matthew Flatt and Matthias Felleisen",

year = "2004",

month = dec,

day = "1",

language = "English (US)",

volume = "3091",

pages = "301--311",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

A visual environment for developing context-sensitive term rewriting systems. / Matthews, Jacob; Findler, Robert Bruce; Flatt, Matthew et al.

In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3091, 01.12.2004, p. 301-311.

Research output: Contribution to journal › Article › peer-review

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

VL - 3091

SP - 301

EP - 311

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -

A visual environment for developing context-sensitive term rewriting systems

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this