Guarded commands, non-determinancy and a calculus for the derivation of programs.

Edsger W. Dijkstra

Published in: Language Hierarchies and Interfaces (1975)

Keyphrases

provably correct
computer programs
programming environment
fixed point
automated deduction
genetic algorithm
query answering
automatic programming
case study
programming language
command line
algebraic structure