Ronald E. Prather - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2002

Min-Plus Matrix Multiplication: 10834Sung-Soo Kim, Richard Johnsonbaugh, Ronald E. Prather, Donald E. Knuth. tamm, 109(8):763-764, 2002. [doi]

Min-Plus Matrix Multiplication: 10834Sung-Soo Kim, Richard Johnsonbaugh, Ronald E. Prather, Donald E. Knuth. tamm, 109(7):667-668, 2002. [doi]

1998

A Modular Mathematical Programming LanguageRonald E. Prather. SIGPLAN, 33(3):38-56, 1998.

1996

Harmonic Analysis from the Computer Representation of a Musical ScoreRonald E. Prather. CACM, 39(12es):239-255, 1996.

The Subprogram Problem for Software Metric DesignRonald E. Prather. ipl, 60(3):143-149, 1996. [doi]

Convexity and independence in software metric theoryRonald E. Prather. iee, 11(4):238-246, 1996. [doi]

1995

Design and Analysis of Hierarchical Software MetricsRonald E. Prather. ACM Comput. Surv., 27(4):497-518, 1995.

1994

Axiomatic foundations for structural software metricsRonald E. Prather. 1994: 36-44 [doi]

1993

Hierarchical metrics and the prime generation problemRonald E. Prather. iee, 8(5):246-252, 1993. [doi]

1992

The semantics of CATRonald E. Prather. SIGPLAN, 27(6):54-63, 1992. [doi]

Computer science in an undergraduate liberal arts and sciences settingRonald E. Prather. SIGCSE, 24(2):59-64, 1992. [doi]

1991

The Type Structure of CATJ. Paul Myers Jr., Ronald E. Prather. constructivity 1992: 218-227

Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review)Ronald E. Prather. stvr, 1(3):43, 1991.

1990

Proposal for a Categorical Programming LanguageRonald E. Prather. SIGPLAN, 25(4):43-50, 1990.

The relation of Lorenzen calculus to formal language theoryRonald E. Prather. cca, 24(2):9-18, 1990. [doi]

1988

Comparison and Extension of Theories of Zipf and HalsteadRonald E. Prather. cj, 31(3):248-252, 1988.

SML: A structured musical languageRonald E. Prather, R. Stephen Elliott. lre, 22(2):137-151, 1988. [doi]

1987

The Path Prefix Software Testing StrategyRonald E. Prather, J. Paul Myers Jr.. TSE, 13(7):761-766, 1987.

On hierarchical software metricsRonald E. Prather. iee, 2(2):42-45, 1987. [doi]

1984

An Axiomatic Theory of Software Complexity MeasureRonald E. Prather. cj, 27(4):340-347, 1984.

1983

Theory of program testing - An overviewRonald E. Prather. bstj, 62(10):3073-3105, 1983. [doi]

1981

Decomposition of Flowchart SchemataRonald E. Prather, Shirla G. Giulieri. cj, 24(3):258-262, 1981.

1978

Realization of Boolean Expressions by Atomic DigraphsRonald E. Prather, Harold T. Casstevens II. TC, 27(8):681-688, 1978.

A lecture/laboratory approach to the first course in programmingRonald E. Prather, Judith D. Schlesinger. sigcse 1978: 115-118 [doi]

1977

Structured Turing MachinesRonald E. Prather. iandc, 35(2):159-171, October 1977.

1976

Another look at the discrete structures courseRonald E. Prather. sigcse 1976: 247-252 [doi]

1975

A Convenient Cryptomorphic Version of Recursive Function TheoryRonald E. Prather. iandc, 27(2):178-195, February 1975.

1972

Epimorphisms in Certain Categories of TransducersRonald E. Prather. iandc, 21(4):301-305, November 1972.

1971

An Algebraic Proof of the Paull-Unger TheoremRonald E. Prather. TC, 20(5):578-580, 1971. [doi]

1970

On Categories of Infinite AutomataRonald E. Prather. mst, 4(4):295-305, 1970.

1969

Minimal Solutions of Paull-Unger ProblemsRonald E. Prather. mst, 3(1):76-85, 1969.

1966

Three Variable Multiple Output Tree CircuitsRonald E. Prather. TC, 15(1):3-13, 1966. [doi]

1965

On Tree CircuitsRonald E. Prather. TC, 14(6):841-851, 1965. [doi]

1960

Computational Aids for Determining the Minimal Form of a Truth FunctionRonald E. Prather. JACM, 7(4):299-310, 1960. [doi]

Sign in or sign up to see more results.

runs on WebDSL