Ronald E. Prather

Publication Activity (10 Years)

Years Active: 1960-2002
Publications (10 Years): 0

Publications

Sung Soo Kim, Richard Johnsonbaugh, Ronald E. Prather, Donald E. Knuth
Min-Plus Matrix Multiplication: 10834. Am. Math. Mon. 109 (8) (2002)
Sung Soo Kim, Richard Johnsonbaugh, Ronald E. Prather, Donald E. Knuth
Min-Plus Matrix Multiplication: 10834. Am. Math. Mon. 109 (7) (2002)
Ronald E. Prather
A Modular Mathematical Programming Language. ACM SIGPLAN Notices 33 (3) (1998)
Ronald E. Prather
Harmonic Analysis from the Computer Representation of a Musical Score. Commun. ACM 39 (12es) (1996)
Ronald E. Prather
The Subprogram Problem for Software Metric Design. Inf. Process. Lett. 60 (3) (1996)
Ronald E. Prather
Convexity and independence in software metric theory. Softw. Eng. J. 11 (4) (1996)
Ronald E. Prather
Design and Analysis of Hierarchical Software Metrics. ACM Comput. Surv. 27 (4) (1995)
Ronald E. Prather
Axiomatic foundations for structural software metrics. IEEE METRICS (1994)
Ronald E. Prather
Hierarchical metrics and the prime generation problem. Softw. Eng. J. 8 (5) (1993)
Ronald E. Prather
The semantics of CAT. ACM SIGPLAN Notices 27 (6) (1992)
Ronald E. Prather
Computer science in an undergraduate liberal arts and sciences setting. ACM SIGCSE Bull. 24 (2) (1992)
Ronald E. Prather
Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review). Softw. Test. Verification Reliab. 1 (3) (1991)
J. Paul Myers Jr., Ronald E. Prather
The Type Structure of CAT. Constructivity in Computer Science (1991)
Ronald E. Prather
The relation of Lorenzen calculus to formal language theory. SIGSAM Bull. 24 (2) (1990)
Ronald E. Prather
Proposal for a Categorical Programming Language. ACM SIGPLAN Notices 25 (4) (1990)
Ronald E. Prather, R. Stephen Elliott
SML: A structured musical language. Comput. Humanit. 22 (2) (1988)
Ronald E. Prather
Comparison and Extension of Theories of Zipf and Halstead. Comput. J. 31 (3) (1988)
Ronald E. Prather
On hierarchical software metrics. Softw. Eng. J. 2 (2) (1987)
Ronald E. Prather, J. Paul Myers Jr.
The Path Prefix Software Testing Strategy. IEEE Trans. Software Eng. 13 (7) (1987)
Ronald E. Prather
An Axiomatic Theory of Software Complexity Measure. Comput. J. 27 (4) (1984)
Ronald E. Prather
Theory of program testing - An overview. Bell Syst. Tech. J. 62 (10) (1983)
Ronald E. Prather, Shirla G. Giulieri
Decomposition of Flowchart Schemata. Comput. J. 24 (3) (1981)
Ronald E. Prather, Judith D. Schlesinger
A lecture/laboratory approach to the first course in programming. SIGCSE/CSA (1978)
Ronald E. Prather, Harold T. Casstevens II
Realization of Boolean Expressions by Atomic Digraphs. IEEE Trans. Computers 27 (8) (1978)
Ronald E. Prather
Structured Turing Machines Inf. Control. 35 (2) (1977)
Ronald E. Prather
Another look at the discrete structures course. SIGCSE-SIGCUE (1976)
Ronald E. Prather
A Convenient Cryptomorphic Version of Recursive Function Theory Inf. Control. 27 (2) (1975)
Ronald E. Prather
Epimorphisms in Certain Categories of Transducers Inf. Control. 21 (4) (1972)
Ronald E. Prather
An Algebraic Proof of the Paull-Unger Theorem. IEEE Trans. Computers 20 (5) (1971)
Ronald E. Prather
On Categories of Infinite Automata. Math. Syst. Theory 4 (4) (1970)
Ronald E. Prather
Minimal Solutions of Paull-Unger Problems. Math. Syst. Theory 3 (1) (1969)
Ronald E. Prather
Three Variable Multiple Output Tree Circuits. IEEE Trans. Electron. Comput. 15 (1) (1966)
Ronald E. Prather
On Tree Circuits. IEEE Trans. Electron. Comput. 14 (6) (1965)
Ronald E. Prather
Computational Aids for Determining the Minimal Form of a Truth Function. J. ACM 7 (4) (1960)