Cordell Green
According to our database1,
Cordell Green
authored at least 23 papers
between 1968 and 2010.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1994, "For establishing several key aspects of the theoretical basis for logic programming and providing a resolution theorem prover to carry out a programming task by constructing the result which the computer program is to compute. For proving the construc".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983.
Proceedings of the ASE 2010, 2010
2006
IEEE Intell. Syst., 2006
2005
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.
Proceedings of the Verified Software: Theories, 2005
1999
ACM SIGSOFT Softw. Eng. Notes, 1999
1996
1986
Iteration in the software process.
Proceedings of the Third International Software Process Workshop (ISPW '86), 1986
1985
What Is Program Synthesis?
J. Autom. Reason., 1985
1983
Proceedings of the symposium on High-level debugging, 1983
1979
Results in Knowledge-Based Program Synthesis.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979
1978
The PSI program synthesis system, 1978 - An abstract.
Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978
1977
1976
Proceedings of the 2nd International Conference on Software Engineering, 1976
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976
1975
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975
Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975
1969
Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969
The Application of Theorem Proving to Question-Answering Systems
Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4415-0, 1969
1968
Proceedings of the 23rd ACM national conference, 1968