Hoare’s Correctness Triplets Dijkstra’s Predicate Transformers Axiomatic Semantics.
Asymptotic Analysis-Ch. 3 Names for order of growth for classes of algorithms: constant (n 0 ) = (1) logarithmic (lgn) linear (n) (nlgn) quadratic.
Axiomatic Semantics
