Finding the Correctness Proof of a Concurrent Program.

Edsger W. Dijkstra

Published in: MFCS (1978)

Keyphrases

concurrent programs
concurrent execution
mutual exclusion
provably correct
databases
programming environment
program execution
artificial intelligence
similarity measure
learning environment
search algorithm
evolutionary algorithm
theorem prover
imperative programs