C. Cordell Green

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