Author: Charles R. Blair
Publication Overview
Publication period start: 1966
Publications
Blair,
Charles R.
(1966):
Certification of Algorithm 271: Quickersort.
In
Communications of the ACM,
9
(5)
pp. 354.
https://dl.acm.org/doi/10.1145/355592.365613
Blair,
Charles R.
(1964):
Certification of Algorithm 207: Stringsort.
In
Communications of the ACM,
7
(10)
pp. 585.
https://dl.acm.org/doi/10.1145/364888.364919