K. A. Redish

Publication Activity (10 Years)

Years Active: 1970-1990
Publications (10 Years): 0

Publications

K. A. Redish, W. F. Smyth
Closed form expressions for the iterated floor function. Discret. Math. 91 (3) (1990)
K. A. Redish, W. F. Smyth
Evaluating Measures of Program Quality. Comput. J. 30 (3) (1987)
K. A. Redish, W. F. Smyth
Program Style Analysis: A Natural By-Product of Program Compilation. Commun. ACM 29 (2) (1986)
D. J. Kenworthy, K. A. Redish
Software team projects. SIGCSE (1979)
Axel T. Schreiner, K. A. Redish, Richard Alan Karp, Rex L. Page, Richard J. Cichelli
Correspondence from the members. ACM SIGPLAN Notices 9 (10) (1974)
K. A. Redish
Comment on London's Certification of Algorithm 245. Commun. ACM 14 (1) (1971)
K. A. Redish
Remark on algorithm 385: exponential integral. Commun. ACM 13 (12) (1970)
Robin Griffin, K. A. Redish
Remark on algorithm 347 [M1]: an efficient algorithm for sorting with minimal storage. Commun. ACM 13 (1) (1970)