Programming as a Mathematical Exercise [and Discussion]

Autor: Abrial, J. R., Shepherdson, J. C., Hillmore, J. S., Constable, R. L.

Publikováno v: Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984 Oct 01. 312(1522), 447-473.

Externí odkaz: https://www.jstor.org/stable/37445

Certification of Algorithms 63, 64, 65: Partition, quicksort, find.

Autor: Hillmore, J. S.

Publikováno v: Communications of the ACM; Aug1962, Vol. 5 Issue 8, p439-N-PAG, 1p

Certification of Algorithm 71: Permutation.

Autor: Hillmore, J. S.

Publikováno v: Communications of the ACM; Aug1962, Vol. 5 Issue 8, p439-N-PAG, 1p

Certification of Algorithm 52: A set of test matrices.

Autor: Hillmore, J. S.

Publikováno v: Communications of the ACM; Aug1962, Vol. 5 Issue 8, p438-N-PAG, 1p