Proofs of partial correctness for iterative and recursive computations.

Bruno Courcelle

Published in: Logic Colloquium (1985)

Keyphrases

recursive functions
iterative refinement
theorem proving
iterative process
real world
knowledge representation
theorem prover
formal proof