Term Rewriting
From FSL
Contents |
[edit] Publications
- Circular Coinduction with Special Contexts
- Dorel Lucanu and Grigore Rosu
ICFEM'09, to appear in LNCS. 2009
PDF, ICFEM'09, BIB - Circular Coinduction: A Proof Theoretical Foundation
- Grigore Rosu and Dorel Lucanu
CALCO'09, LNCS 5728, pp 127-144. 2009
Slides (PDF), LNCS, CALCO'09, DBLP, BIB - K: A Rewriting-Based Framework for Computations -- Preliminary version
- Grigore Rosu
Technical report UIUCDCS-R-2007-2926 and UILU-ENG-2007-1827, December 2007
PDF, ZIP, TR@UIUC, BIB - A K Definition of Scheme
- Patrick Meredith, Mark Hills and Grigore Rosu
Technical Report UIUCDCS-R-2007-2907, October 2007
PDF, TR@UIUC, BIB - An Executable Rewriting Logic Semantics of K-Scheme
- Patrick Meredith, Mark Hills and Grigore Rosu
8th Workshop on Scheme and Functional Programming, Technical Report DIUL-RT-0701, pp. 91-103, September 2007
PDF, SCHEME'07, BIB - KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
- Mark Hills and Grigore Rosu
RTA'07, LNCS 4533, pp 246-256. 2007
PDF, RTA'07 slides, LNCS, RTA'07, BIB - The Rewriting Logic Semantics Project
- Jose Meseguer and Grigore Rosu J. of TCS, Volume 373(3), pp 213-237. 2007
PDF, J.TCS, BIB - A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
- Mark Hills, Traian Florin Serbanuta and Grigore Rosu
WRLA'06, ENTCS 176(4), pp. 215-231. 2007
PDF, Experiments, ENTCS, WRLA'06, BIB - K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation
- Grigore Rosu
Technical report UIUCDCS-R-2006-2802, December 2006
PDF, TR@UIUC, BIB - Computationally Equivalent Elimination of Conditions - extended abstract
- Traian Florin Serbanuta and Grigore Rosu
RTA'06, LNCS 4098, pp 19-34. 2006
PDF, Experiments, RTA'06 Slides, LNCS, RTA'06, DBLP, BIB - Equality of Streams is a Pi_2^0-Complete Problem
- Grigore Rosu
ICFP'06, ACM, 2006
PDF, ICFP'06 Slides, ACM, ICFP'06, BIB - K: a Rewrite-based Framework for Modular Language Design, Semantics, Analysis and Implementation
- Grigore Rosu
Technical Report UIUCDCS-R-2005-2672, December 2005
PDF, Experiments, BIB - The Rewriting Logic Semantics Project
- Jose Meseguer and Grigore Rosu
SOS'05, ENTCS 156, pp. 27-56. 2006
PDF, SOS'05, BIB - From Conditional to Unconditional Rewriting
- Grigore Rosu
WADT'04, LNCS 3423, pp 218-233. 2004
PDF, LNCS, WADT'04, Experiments, PDF - Original submission, WADT'04 slides, BIB - From Conditional to Unconditional Rewriting
- Grigore Rosu
Technical Report UIUCDCS-R-2004-2471, August 2004
PDF, Technical reports' page, Experiments, BIB - CS322 - Programming Language Design: Lecture Notes
- Grigore Rosu
Technical Report UIUCDCS-R-2003-2897, December 2003
PDF, TR @ UIUC, BIB - Hidden Logic
- Grigore Rosu
PhD Thesis, University of California at San Diego
PDF, Thesis@UCSD, BIB
[edit] Links
[edit] Term Rewriting
- Term Rewriting Page at Wikipedia
- Rewriting page at Loria Almost anything about rewriting
[edit] Rewrite Engines
The following rewrite engines are listed alphabetically. Please let us know if you are aware of any other rewrite engine not listed below:
- ASF/SDF Meta Environment (v1.5.3 - December 2004)
- CafeOBJ (v1.4.6 - November 2005)
- ELAN (v3.6 - May 2004)
- Maude (v2.2 - December 2005)
- OBJ3 (v2.10 - December 2004)
- Stratego/XT (v0.16 - November 2005)
- Tom (v2.3 - April 2006)
The following may also be of interest:
- Rewrite Engines Competition - a competition project started at WRLA'06
