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

Thumb_slide_0

3 > 2

Nov 17, 2017 by Mark Allen

Thumb_slide_0

Idiomatic Erlang

Nov 13, 2017 by Mark Allen