Speaker Deck

Assigning Meanings to Programs

by Mark Allen

Published August 23, 2016 in Technology

In 1967 Robert Floyd (who later won an ACM Turing Award) explained how logical propositions could be used to assert useful properties of programs without the need to use a computer or a specific programming language.

Other Presentations by this Speaker