Contents of the Proceedings of the
NSF Workshop on the Rewrite Rule Laboratory.
Schenectady, NY, USA, September 6-9, 1983.
General Electric Corporate Research and Development Center, Report
No. 84GEN008, April 1984.
Editors: John Guttag, Deepak Kapur and David Musser.
Rewriting Rule Laboratory
- R. Forgaard and J. V. Guttag,
REVE: A Term Rewriting System Generator with Failure-Resistant
Knuth-Bendix
(pages 5-32).
- D. Kapur and G. Sivakumar,
Experiments with an Architecture of RRL, A Rewrite Rule
Laboratory
(pages 33-56).
- D. R. Musser,
The L Programming Language Preliminary Reference Manual
(pages 57-72).
Unification
- J. Corbin and M. Bidoit,
A Rehabilitation of Robinson's Unification Algorithm
(pages 73-74).
- F. Fages,
Associative-Commutative Unification
(pages 75-76).
- C. Kirchner,
A New Equational Unification Method: A Generalisation of
Martelli-Montanari's Algorithm
(pages 77-100).
- D. Lankford, G. Butler and B. Brady,
Abelian Group Unification Algorithms for Elementary Terms
(pages 101-108).
Termination Orderings
- P. Lescanne,
How to Prove Termination ? An Approach to the Implementation of a
New Recursive Decomposition Ordering
(pages 109-122).
- D. Plaisted,
Associative Path Ordering
(pages 123-136).
Completion Procedures
- D. Lankford, G. Butler and A. Ballantyne,
A Progress Report on New Decision Algorithms for Finitely Presented
Abelian Groups
(pages 137-154).
- R. Gobel,
A Completion Procedure for Globally Finite Term Rewriting
Systems
(pages 155-206).
- J.-P. Jouannaud and H. Kirchner,
Completion of a Set of Rules Modulo a Set of Equations
(pages 207-228).
Applications of Term Rewriting Methods
- J. Hsiang and N. A. Josephson,
TeRSe: A Term Rewriting Theorem Prover
(pages 229-244).
- D. Kapur and D. R. Musser,
Proof by Consistency
(pages 245-268).
- N. Dershowitz,
Computing with Rewrite Systems
(pages 269-298).
- J. J. Thiel,
A New Completeness Test
(pages 299-300).
- L. Barros and J.-L. Rémy,
ECOLOGISTE: A System to Make Complete and Consistent Specifications
Easier
(pages 301-318).
- M. Srivas,
Rewrite Rule Based Program Transformation
(pages 319-336).
- D. Kapur and B. Krishnamurthy,
A Natural Proof System Based on Rewriting Techniques
(pages 337-...).