Designing Algorithms

[**] Early programmers, including Alan Turing [1912-1954] and John von Neumann [1903-1957], not only wrote their programs but also accompanied them by formal mathematical proofs of correctness. However most recent programming languages have features that preclude formal proofs of correctness. We will have to change the languages in order to perform the same kind of proof of correctness that we expect of engineering projects!


CS1104 Main Page
Last Updated 01/05/2000
© L.Heath, 2000