Proving the correctness of algebraic implementations by the ISAR system

This publication has 9 references indexed in Scilit:

• On the retrieval of reusable software components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A semi-algorithm for algebraic implementation proofs
  Theoretical Computer Science, 1992
• A narrowing-based theorem prover
  Published by Springer Nature ,1991
• Context induction: A proof principle for behavioural abstractions
  Published by Springer Nature ,1990
• An overview of LP, the Larch Prover
  Lecture Notes in Computer Science, 1989
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• Structured algebraic specifications: A Kernel language
  Theoretical Computer Science, 1986
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969