OBJ as a Theorem Prover with Applications to Hardware Verification

This publication has 22 references indexed in Scilit:

• Inductive methods for reasoning about abstract data types
  Published by Association for Computing Machinery (ACM) ,1988
• The design of a rewrite rule interpreter from algebraic specifications
  Software Engineering Journal, 1987
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Algebras, Theories and Freeness: An Introduction for Computer Scientists
  Published by Springer Nature ,1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• A characterisation of computable data types by means of a finite equational specification method
  Published by Springer Nature ,1980
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• Some design principles and theory for OBJ-0, a language to express and execute algebraic specifications of programs
  Lecture Notes in Computer Science, 1979
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969
• On the Structure of Abstract Algebras
  Mathematical Proceedings of the Cambridge Philosophical Society, 1935