C. Cordell Green

Publication Activity (10 Years)

Years Active: 1968-1996
Publications (10 Years): 0

Publications

C. Cordell Green
Formality Helps Scalability and Robustness. ACM Comput. Surv. 28 (4es) (1996)
Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
Iteration in the software process. ISPW (1986)
C. Cordell Green
What Is Program Synthesis? J. Autom. Reason. 1 (1) (1985)
Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
Software technology in the 1990's: using a new paradigm. ISPW (1984)
Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
Software Technology in the 1990's: Using a New Paradigm. Computer 16 (11) (1983)
Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave
Knowledge-based debugging: session summary. SIGSOFT (1983)
C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold
Results in Knowledge-Based Program Synthesis. IJCAI (1979)
C. Cordell Green, David R. Barstow
On Program Synthesis Knowledge. Artif. Intell. 10 (3) (1978)
Douglas W. Clark, C. Cordell Green
A Note on Shared List Structure in LISP. Inf. Process. Lett. 7 (6) (1978)
Douglas W. Clark, C. Cordell Green
An Empirical Study of List Structure in Lisp. Commun. ACM 20 (2) (1977)
C. Cordell Green
The Design of the PSI Program Synthesis System. ICSE (1976)
David E. Shaw, William R. Swartout, C. Cordell Green
Inferring LISP Programs From Examples. IJCAI (1975)
C. Cordell Green, David R. Barstow
Some Rules For The Automatic Synthesis Of Programs. IJCAI (1975)
C. Cordell Green
Application of Theorem Proving to Problem Solving. IJCAI (1969)
C. Cordell Green, Bertram Raphael
The use of theorem-proving techniques in question-answering systems. ACM National Conference (1968)