dblp.uni-trier.dewww.uni-trier.de

Ronald E. Prather

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
19 Ronald E. Prather: A Modular Mathematical Programming Language. SIGPLAN Notices 33(3): 38-56 (1998)
1996
18 Ronald E. Prather: Harmonic Analysis from the Computer Representation of a Musical Score. Commun. ACM 39(12es): 239-255 (1996)
17EERonald E. Prather: The Subprogram Problem for Software Metric Design. Inf. Process. Lett. 60(3): 143-149 (1996)
1995
16 Ronald E. Prather: Design and Analysis of Hierarchical Software Metrics. ACM Comput. Surv. 27(4): 497-518 (1995)
1992
15EERonald E. Prather: The semantics of CAT. SIGPLAN Notices 27(6): 54-63 (1992)
1991
14 J. Paul Myers Jr., Ronald E. Prather: The Type Structure of CAT. Constructivity in Computer Science 1991: 218-227
13 Ronald E. Prather: Software Metrics: A Rigorous Approach, by Norman Fenton, Chapman and Hall, 1991 (Book Review). Softw. Test., Verif. Reliab. 1(3): 43 (1991)
1990
12 Ronald E. Prather: Proposal for a Categorical Programming Language. SIGPLAN Notices 25(4): 43-50 (1990)
1988
11 Ronald E. Prather: Comparison and Extension of Theories of Zipf and Halstead. Comput. J. 31(3): 248-252 (1988)
1987
10 Ronald E. Prather, J. Paul Myers Jr.: The Path Prefix Software Testing Strategy. IEEE Trans. Software Eng. 13(7): 761-766 (1987)
1984
9 Ronald E. Prather: An Axiomatic Theory of Software Complexity Measure. Comput. J. 27(4): 340-347 (1984)
1981
8 Ronald E. Prather, Shirla G. Giulieri: Decomposition of Flowchart Schemata. Comput. J. 24(3): 258-262 (1981)
1978
7 Ronald E. Prather, Harold T. Casstevens II: Realization of Boolean Expressions by Atomic Digraphs. IEEE Trans. Computers 27(8): 681-688 (1978)
1977
6 Ronald E. Prather: Structured Turing Machines Information and Control 35(2): 159-171 (1977)
1975
5 Ronald E. Prather: A Convenient Cryptomorphic Version of Recursive Function Theory Information and Control 27(2): 178-195 (1975)
1972
4 Ronald E. Prather: Epimorphisms in Certain Categories of Transducers Information and Control 21(4): 301-305 (1972)
1970
3 Ronald E. Prather: On Categories of Infinite Automata. Mathematical Systems Theory 4(4): 295-305 (1970)
1969
2 Ronald E. Prather: Minimal Solutions of Paull-Unger Problems. Mathematical Systems Theory 3(1): 76-85 (1969)
1960
1EERonald E. Prather: Computational Aids for Determining the Minimal Form of a Truth Function. J. ACM 7(4): 299-310 (1960)

Coauthor Index

1Harold T. Casstevens II [7]
2Shirla G. Giulieri [8]
3J. Paul Myers Jr. [10] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)