Cordell Green

According to our database1, Cordell Green authored at least 7 papers between 1976 and 2010.

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 
Other 

Links

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
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intelligent Systems, 2006

NASA's Exploration Agenda and Capability Engineering.
IEEE Computer, 2006

2005
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.
Proceedings of the Verified Software: Theories, 2005

1999
NSF workshop on a software research program for the 21st century.
ACM SIGSOFT Software Engineering Notes, 1999

1976
Automatic synthesis - programs and plans.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SIGART(Tutorial Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976


  Loading...