Artifact Details

Title

Reasoning about programs

Catalog Number

102624676

Type

Moving image

Date

1990-05

Credits

Dijkstra, Edsger Wybe

Publisher

University Video Communications

Duration

00:55:00

Format

Betacam SP

Description

From 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."

Category

Lecture

Series Title

University Video Communications: Distinguished Lecture Series

Credit

Gift of University Video Communications

Lot Number

X6636.2013