Certification of algorithm 245 [M1]:treesort 3:proof of algorithms—a new kind of certification

Publisher Website

1 June 1970

journal article
research article
Published by Association for Computing Machinery (ACM) in Communications of the ACM

Vol. 13 (6) , 371-373
https://doi.org/10.1145/362384.362507

Abstract

No abstract available

This publication has 5 references indexed in Scilit:

Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967
Proof of algorithms by general snapshots
BIT Numerical Mathematics, 1966
Certification of algorithm 245 [M1]: TREESORT
Communications of the ACM, 1965
Algorithm 245: Treesort
Communications of the ACM, 1964
A Basis for a Mathematical Theory of Computation)
Published by Elsevier ,1963