Ronald E. Prather

According to our database, Ronald E. Prather authored at least 33 papers between 1960 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

Min-Plus Matrix Multiplication: 10834.

Sung Soo Kim, Richard Johnsonbaugh, Ronald E. Prather, Donald E. Knuth

Am. Math. Mon., 2002

1998

A Modular Mathematical Programming Language.

Ronald E. Prather

ACM SIGPLAN Notices, 1998

1996

The Subprogram Problem for Software Metric Design.

Ronald E. Prather

Inf. Process. Lett., 1996

Convexity and independence in software metric theory.

Ronald E. Prather

Softw. Eng. J., 1996

Harmonic Analysis from the Computer Representation of a Musical Score.

Ronald E. Prather

Commun. ACM, 1996

1995

Design and Analysis of Hierarchical Software Metrics.

Ronald E. Prather

ACM Comput. Surv., 1995

1994

Axiomatic foundations for structural software metrics.

Ronald E. Prather

Proceedings of the 1994 IEEE 2nd International Software Metrics Symposium, 1994

1993

Hierarchical metrics and the prime generation problem.

Ronald E. Prather

Softw. Eng. J., 1993

1992

The semantics of CAT.

Ronald E. Prather

ACM SIGPLAN Notices, 1992

Computer science in an undergraduate liberal arts and sciences setting.

Ronald E. Prather

ACM SIGCSE Bull., 1992

1991

Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review).

Ronald E. Prather

Softw. Test. Verification Reliab., 1991

The Type Structure of CAT.

J. Paul Myers Jr., Ronald E. Prather

Proceedings of the Constructivity in Computer Science, 1991

1990

Proposal for a Categorical Programming Language.

Ronald E. Prather

ACM SIGPLAN Notices, 1990

The relation of Lorenzen calculus to formal language theory.

Ronald E. Prather

SIGSAM Bull., 1990

1988

SML: A structured musical language.

Ronald E. Prather, R. Stephen Elliott

Comput. Humanit., 1988

Comparison and Extension of Theories of Zipf and Halstead.

Ronald E. Prather

Comput. J., 1988

1987

The Path Prefix Software Testing Strategy.

Ronald E. Prather, J. Paul Myers Jr.

IEEE Trans. Software Eng., 1987

On hierarchical software metrics.

Ronald E. Prather

Softw. Eng. J., 1987

1984

An Axiomatic Theory of Software Complexity Measure.

Ronald E. Prather

Comput. J., 1984

1983

Theory of program testing - An overview.

Ronald E. Prather

Bell Syst. Tech. J., 1983

1981

Decomposition of Flowchart Schemata.

Ronald E. Prather, Shirla G. Giulieri

Comput. J., 1981

1978

Realization of Boolean Expressions by Atomic Digraphs.

Ronald E. Prather, Harold T. Casstevens II

IEEE Trans. Computers, 1978

A lecture/laboratory approach to the first course in programming.

Ronald E. Prather, Judith D. Schlesinger

Proceedings of the Papers of the SIGCSE/CSA technical symposium on Computer science education, 1978

1977

Structured Turing Machines

Ronald E. Prather

Inf. Control., October, 1977

1976

Another look at the discrete structures course.

Ronald E. Prather

Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education, 1976

1975

A Convenient Cryptomorphic Version of Recursive Function Theory

Ronald E. Prather

Inf. Control., February, 1975

1972

Epimorphisms in Certain Categories of Transducers

Ronald E. Prather

Inf. Control., November, 1972

1971

An Algebraic Proof of the Paull-Unger Theorem.

Ronald E. Prather

IEEE Trans. Computers, 1971

1970

On Categories of Infinite Automata.

Ronald E. Prather

Math. Syst. Theory, 1970

1969

Minimal Solutions of Paull-Unger Problems.

Ronald E. Prather

Math. Syst. Theory, 1969

1966

Three Variable Multiple Output Tree Circuits.

Ronald E. Prather

IEEE Trans. Electron. Comput., 1966

1965

On Tree Circuits.

Ronald E. Prather

IEEE Trans. Electron. Comput., 1965

1960

Computational Aids for Determining the Minimal Form of a Truth Function.

Ronald E. Prather

J. ACM, 1960