Published August 23, 2016
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.
Mar 16, 2018 by
Nov 17, 2017 by
Nov 13, 2017 by
Dad, singer, nerd, not necessarily in that order.