Assigning Meanings to Programs

Assigning Meanings to Programs

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.

7330b65ea54e1b90a987a552e5c5cf32?s=128

Mark Allen

August 23, 2016
Tweet