RRL: A rewrite rule laboratory

  • Deepak Kapur
  • G. Sivakumar
  • Hantao Zhang
Extended Abstracts Of Current Deduction Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)

A Partial List of References

  1. 1.
    Dershowitz, N., “Termination,” Proc. of the First Intl. Conf. on Rewriting Techniques and Applications, Dijon, France, May 1985, LNCS 202, Springer Verlag, pp. 180–224.Google Scholar
  2. 2.
    Kapur, D., and Sivakumar, G., “Architecture of and Experiments with RRL, a Rewrite Rule Laboratory,” Proc. of a NSF Workshop on the Rewrite Rule Laboratory, Sept. 6–9, 1983, General Electric CRD Report 84GEN004, April 1984, pp.33–56.Google Scholar
  3. 3.
    Kapur, D., and Narendran, P., “An Equational Approach to Theorem Proving in First-order Predicate Calculus,” Proc. of the 9th IJCAI, Los Angeles, August 1985, pp. 1146–1153.Google Scholar
  4. 4.
    Kapur, D., Narendran, P., and Zhang, H., “Proof by Induction using Test Sets,” to appear in the Proc. of 8th Intl. Conf. on Automated Deduction (CADE-8), Oxford, England, July 1986.Google Scholar
  5. 5.
    Kapur, D., and Zhang, H., RRL: A Rewrite Rule Laboratory — User's Manual. Unpublished Manuscript, General Electric Corporate Research and Development, Schenectady, NY, March 1986.Google Scholar
  6. 6.
    Knuth, D.E., and Bendix, P.B., “Simple Word Problems in Universal Algebras,” Computational Problems in Abstract Algebras (ed. Leech), Pergamon Press, 1970, pp. 263–297.Google Scholar
  7. 7.
    Musser, D.R., “Proving Inductive Properties of Abstract Data Types,” Proc. of 7th ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, Jan. 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Deepak Kapur
    • 1
  • G. Sivakumar
    • 2
  • Hantao Zhang
    • 3
  1. 1.Corporate Research & DevelopmentGeneral Electric Co.SchenectadyUSA
  2. 2.Dept. of Computer ScienceUniversity of IllinoisUrbanaUSA
  3. 3.Dept. of Computer ScienceRensselaer Polytechnic InstituteTroyUSA

Personalised recommendations