Another letter on the correctness of real programs.

Published in: ACM SIGSOFT Softw. Eng. Notes (1978)

Keyphrases

provably correct
real life
data sets
databases
artificial intelligence
wide range
search algorithm
real world
case study
relational databases
situation calculus
computer programs
control structures