Cordell Green

Computer Science · Physical Sciences

2h-index96citations4works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Engineering Research(4), Parallel Computing and Optimization Techniques(3), Embedded Systems Design Techniques(2), Logic, programming, and type systems(1), Teaching and Learning Programming(1)

Publications4 total

On Program Synthesis Knowledge**This research was supported in part by the Advanced Research Projects Agency under ARPA Order 2494, Contract MDA903–76–C–0206, and in part by the National Science Foundation under NSF Grant MCS 77–05740. A major portion of the work described herein was done while the authors were in the Computer Science Department of Stanford University. The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or implied, of Stanford University, Yale University, Systems Control Inc. or the U.S. Government.
Elsevier eBooks·1986
On program synthesis knowledge
Artificial Intelligence·1978· 75 cited
On Program Synthesis Knowledge
1977· 2 cited
Some rules for the automatic synthesis of programs
International Joint Conference on Artificial Intelligence·1975· 19 cited

Frequent Co-authors

D Barstow(4)