Rigorous proofs of program correctness without formal logic.

J. R. Jefferson Wadkins

Published in: SIGCSE (1995)

Keyphrases

formal logic
predicate logic
artificial intelligence
theorem proving
logic programming
general purpose
logic programs
formal methods