Cordell Green

According to our database, Cordell Green authored at least 23 papers between 1968 and 2010.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2010

Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983.

Cordell Green

Proceedings of the ASE 2010, 2010

2006

Intelligent Systems and Formal Methods in Software Engineering.

Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani

IEEE Intell. Syst., 2006

NASA's Exploration Agenda and Capability Engineering.

Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green

Computer, 2006

2005

A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets.

Alessandro Coglio, Cordell Green

Proceedings of the Verified Software: Theories, 2005

1999

NSF workshop on a software research program for the 21st century.

Victor R. Basili, Laszlo A. Belady, Barry W. Boehm, Frederick P. Brooks Jr., James Browne, Richard A. DeMillo, Stuart I. Feldman, Cordell Green, Butler W. Lampson, Duncan H. Lawrie, Nancy G. Leveson, Nancy A. Lynch, Mark D. Weiser, Jeannette M. Wing

ACM SIGSOFT Softw. Eng. Notes, 1999

1996

Formality Helps Scalability and Robustness.

C. Cordell Green

ACM Comput. Surv., 1996

1986

Iteration in the software process.

Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig

Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

1985

What Is Program Synthesis?

C. Cordell Green

J. Autom. Reason., 1985

1983

Knowledge-based debugging: session summary.

Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave

Proceedings of the symposium on High-level debugging, 1983

Software Technology in the 1990's: Using a New Paradigm.

Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green

Computer, 1983

1979

Results in Knowledge-Based Program Synthesis.

C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1978

A Note on Shared List Structure in LISP.

Douglas W. Clark, C. Cordell Green

Inf. Process. Lett., 1978

On Program Synthesis Knowledge.

C. Cordell Green, David R. Barstow

Artif. Intell., 1978

The PSI program synthesis system, 1978 - An abstract.

Cordell Green

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1977

An Empirical Study of List Structure in Lisp.

Douglas W. Clark, C. Cordell Green

Commun. ACM, 1977

1976

The Design of the PSI Program Synthesis System.

C. Cordell Green

Proceedings of the 2nd International Conference on Software Engineering, 1976

Automatic synthesis - programs and plans.

Cordell Green, Richard Fikes, Martin Kay

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

SIGART(Tutorial Session).

Cordell Green, Richard Fikes, Martin Kay

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975

Inferring LISP Programs From Examples.

David E. Shaw, William R. Swartout, C. Cordell Green

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

Some Rules For The Automatic Synthesis Of Programs.

C. Cordell Green, David R. Barstow

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1969

Application of Theorem Proving to Problem Solving.

C. Cordell Green

Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

The Application of Theorem Proving to Question-Answering Systems

C. Cordell Green

Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York, ISBN: 0-8240-4415-0, 1969

1968

The use of theorem-proving techniques in question-answering systems.

C. Cordell Green, Bertram Raphael

Proceedings of the 23rd ACM national conference, 1968