Ronald E. Prather

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