An overview of LP, the Larch Prover
- 1 January 1989
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Verification of VLSI Circuits Using LPDAIMI Report Series, 1988
- Inductive methods for reasoning about abstract data typesPublished by Association for Computing Machinery (ACM) ,1988
- Proof by consistencyArtificial Intelligence, 1987
- Unification in combinations of collapse-free regular theoriesJournal of Symbolic Computation, 1987
- Report on the larch shared languageScience of Computer Programming, 1986
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- Proofs by induction in equational theories with constructorsJournal of Computer and System Sciences, 1982
- Complete Sets of Reductions for Some Equational TheoriesJournal of the ACM, 1981
- On proving inductive properties of abstract data typesPublished by Association for Computing Machinery (ACM) ,1980
- Abstract data types and software validationCommunications of the ACM, 1978