A Decision Procedure for the Correctness of a Class of Programs.

Prabhaker Mateti

Published in: J. ACM (1981)

Keyphrases

provably correct
decision making
databases
artificial intelligence
decision rules
turing machine