27 Sep
2014
27 Sep
'14
2:19 p.m.
In article <1622761209.431415.1411848409762.JavaMail.root at
md02.topaz.synacor.com>,
ANDY HOLT <andy.holt at tesco.net> writes:
Dijkstra's key interest was proving program
correctness (he was a
mathematician). All the stated languages had features that made this
difficult - if not outright impossible.
Proving program correctness was, and remains, a pipe dream.
--
"The Direct3D Graphics Pipeline" free book
<http://tinyurl.com/d3d-pipeline>
The Computer Graphics Museum <http://ComputerGraphicsMuseum.org>
The Terminals Wiki <http://terminals.classiccmp.org>
Legalize Adulthood! (my blog) <http://LegalizeAdulthood.wordpress.com>