Program Refinement by Theorem Prover

This publication has 15 references indexed in Scilit:

• Statement inversion and strongest postcondition
  Science of Computer Programming, 1993
• Combining angels, demons and miracles in program specifications
  Theoretical Computer Science, 1992
• A Tactic Driven Refinement Tool
  Published by Springer Nature ,1992
• Data refinement of predicate transformers
  Theoretical Computer Science, 1991
• Refinement concepts formalised in higher order logic
  Formal Aspects of Computing, 1990
• Mechanizing CSP trace theory in higher order logic
  IEEE Transactions on Software Engineering, 1990
• A calculus of refinements for program derivations
  Acta Informatica, 1988
• A simple fixpoint argument without the restriction to continuity
  Acta Informatica, 1986
• Proof of correctness of data representations
  Acta Informatica, 1972
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940