RRL: A rewrite rule laboratory

  • Deepak Kapur
  • Hantao Zhang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)

A Partial List of References

  1. 1.
    Kapur, D., Sivakumar, G., and Zhang, H., “RRL: A Rewrite Rule Laboratory,” Proc. of 8th International Conf. on Automated Deduction (CADE-8), Oxford, England, LNCS 230, Springer Verlag, 691–692, July 1986.Google Scholar
  2. 2.
    Kapur, D., and Zhang, H., RRL: A Rewrite Rule Laboratory — User's Manual. Unpublished Manuscript, General Electric Corporate Research and Development, Schenectady, NY, May 1987.Google Scholar
  3. 3.
    Knuth, D.E., and Bendix, P.B., “Simple Word Problems in Universal Algebras,” Computational Problems in Abstract Algebras (ed. Leech), Pergamon Press, 1970, 263–297.Google Scholar
  4. 4.
    Narendran, P., and Stillman, J., “Hardware Verification in the Interactive VHDL Workstation,” in: VLSI Specification, Verification and Synthesis (eds. G. Birtwistle and P.A. Subrahmanyam), Kluwer Academic Publishers, 217–235, 1988.Google Scholar
  5. 5.
    Narendran, P., and Stillman, J., “Formal Verification of the Sobel Image Processing Chip,” to appear in the Proc. of IEEE Design Automation Conf., Anaheim, CA, June 1988.Google Scholar
  6. 6.
    Zhang, H., and Kapur, D., “First-Order Theorem Proving using Conditional Rewrite Rules,” to appear in the Proc. of CADE-9, Argonne, May 1988.Google Scholar
  7. 7.
    Zhang, H., Kapur, D., and Krishnamoorthy, M.S., “A Mechanizable Induction Principle for Equational Specifications,” to appear in the Proc. of CADE-9, Argonne, May 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Deepak Kapur
    • 1
  • Hantao Zhang
    • 2
  1. 1.Department of Computer ScienceState University of New YorkAlbanyUSA
  2. 2.Department of Computer ScienceRensselaer Polytechnic InstituteTroyUSA

Personalised recommendations