Partiality and Nondeterminacy in Program Proofs.

Joseph M. Morris Alexander Bunkenburg

Published in: Formal Aspects Comput. (1998)

Keyphrases

computer programs
theorem proving
database
real world
program execution
formal proofs
real time
multi agent
natural language
decision procedures
automatic programming
formal proof