User loginNavigation |
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
(via an interesting discussion on the types list)
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. Matthews, Findler, Flatt, Felleisen. International Conference on Rewriting Techniques and Applications (RTA) 2004.
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 R5RS Scheme. Seems like a nice tool (it's DrScheme based, of course). I guess I should try it out. |
Browse archivesActive forum topicsNew forum topics
|
Recent comments
1 day 8 hours ago
1 day 21 hours ago
3 days 1 min ago
5 days 19 hours ago
5 days 21 hours ago
6 days 8 hours ago
6 days 8 hours ago
6 days 20 hours ago
1 week 10 hours ago
3 weeks 2 days ago