Guarded Commands, Nondeterminacy and Formal Derivation of Programs.

Edsger W. Dijkstra

Published in: Commun. ACM (1975)

Keyphrases

computer programs
fixed point
databases
automatic programming
real world
learning algorithm
artificial intelligence
search engine
high level
answer sets
formal specification
formal methods
formal representation