An overview of Rewrite Rule Laboratory (RRL)

RRL ( Rewrite Rule Laboratory) was originally developed as an environment for experimenting with automated reasoning algorithms for equational logic based on rewrite techniques. It has now matured into a full-fledged theorem prover which has been used to solve hard and challenging mathematical probl...

Full description

Saved in:
Bibliographic Details
Published inComputers & mathematics with applications (1987) Vol. 29; no. 2; pp. 91 - 114
Main Authors Kapur, D., Zhang, H.
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 1995
Subjects
Discrimination nets
Equational logic
Rewrite techniques
RRL
Equational logic
Rewrite techniques
RRL
Discrimination nets
Online AccessGet full text

Cover

More Information
Summary:RRL ( Rewrite Rule Laboratory) was originally developed as an environment for experimenting with automated reasoning algorithms for equational logic based on rewrite techniques. It has now matured into a full-fledged theorem prover which has been used to solve hard and challenging mathematical problems in automated reasoning literature as well as a research tool for investigating the use of formal methods in hardware and software design. We provide a brief historical account of development of RRL and its descendants, give an overview of the main capabilities of RRL and conclude with a discussion of applications of RRL.
ISSN:0898-1221
1873-7668
DOI:10.1016/0898-1221(94)00218-A