default search action
Cordell Green
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2010
- [c14]Cordell Green:
Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983. ASE 2010: 183-184
2000 – 2009
- 2006
- [j9]Daniel E. Cooke, Matt Barry, Michael Lowry, Cordell Green:
NASA's Exploration Agenda and Capability Engineering. Computer 39(1): 63-73 (2006) - [j8]Bernhard Beckert, Tony Hoare, Reiner Hähnle
, Douglas R. Smith, Cordell Green, Silvio Ranise
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21(6): 71-81 (2006) - 2005
- [c13]Alessandro Coglio, Cordell Green:
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. VSTTE 2005: 57-63
1990 – 1999
- 1999
- [j7]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:
NSF workshop on a software research program for the 21st century. ACM SIGSOFT Softw. Eng. Notes 24(3): 37-44 (1999) - 1996
- [j6]C. Cordell Green:
Formality Helps Scalability and Robustness. ACM Comput. Surv. 28(4es): 5 (1996)
1980 – 1989
- 1986
- [c12]Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig:
Iteration in the software process. ISPW 1986: 105-108 - 1985
- [j5]C. Cordell Green:
What Is Program Synthesis? J. Autom. Reason. 1(1): 37-41 (1985) - 1984
- [c11]Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green:
Software technology in the 1990's: using a new paradigm. ISPW 1984: 3-9 - 1983
- [j4]Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green:
Software Technology in the 1990's: Using a New Paradigm. Computer 16(11): 39-45 (1983) - [c10]Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout
Knowledge-based debugging: session summary. SIGSOFT 1983: 23-24
1970 – 1979
- 1979
- [c9]C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold:
Results in Knowledge-Based Program Synthesis. IJCAI 1979: 342-344 - 1978
- [j3]C. Cordell Green, David R. Barstow:
On Program Synthesis Knowledge. Artif. Intell. 10(3): 241-279 (1978) - [j2]Douglas W. Clark, C. Cordell Green:
A Note on Shared List Structure in LISP. Inf. Process. Lett. 7(6): 312-314 (1978) - [c8]Cordell Green:
The PSI program synthesis system, 1978 - An abstract. AFIPS National Computer Conference 1978: 673-674 - 1977
- [j1]Douglas W. Clark, C. Cordell Green:
An Empirical Study of List Structure in Lisp. Commun. ACM 20(2): 78-87 (1977) - 1976
- [c7]Cordell Green, Richard Fikes, Martin Kay:
SIGART(Tutorial Session). ACM Annual Conference 1976: 73 - [c6]Cordell Green, Richard Fikes, Martin Kay:
Automatic synthesis - programs and plans. ACM Annual Conference 1976: 74-75 - [c5]C. Cordell Green:
The Design of the PSI Program Synthesis System. ICSE 1976: 4-18 - 1975
- [c4]C. Cordell Green, David R. Barstow:
Some Rules For The Automatic Synthesis Of Programs. IJCAI 1975: 232-239 - [c3]David E. Shaw, William R. Swartout, C. Cordell Green:
Inferring LISP Programs From Examples. IJCAI 1975: 260-267
1960 – 1969
- 1969
- [b1]C. Cordell Green:
The Application of Theorem Proving to Question-Answering Systems. Outstanding Dissertations in the Computer Sciences, Garland Publishing, New York 1969, ISBN 0-8240-4415-0 - [c2]C. Cordell Green:
Application of Theorem Proving to Problem Solving. IJCAI 1969: 219-240 - 1968
- [c1]C. Cordell Green, Bertram Raphael:
The use of theorem-proving techniques in question-answering systems. ACM National Conference 1968: 169-181
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 20:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: