TitleReasoning about programs
CreditsDijkstra, Edsger Wybe
PublisherUniversity Video Communications
DescriptionFrom University Video Communications' catalog:
"Professor Edsger W. Dijkstra presents two intriguing problems, and shows how to design elegant solutions for them. In the first example, a game with colored pebbles is translated into a program. In the second example, he provides a theorem about colored points in the plane and translates it into a programming task. The arguments about the two programs are archetypal: they concentrate on both invariance and termination which are the two essential components of each correctness proof. The universality of the illustrated approach is underlined by the fact that it is independent of the programming language used, and not confined to deterministic programs. The two programs dealt with are in fact highly nondeterministic."