The mathematics of programming
I hold the principle that the construction of computer programs is a mathematical activity like the solution of differential equations. Programs can be derived from their specifications by mathematical insight calculation and proof, using algebraic laws as simple and elegant as those of elementary arithmetic.
KeywordsSequential Composition Logical Expression Roman Numeral Proof Obligation Abstract Program
Unable to display preview. Download preview PDF.