Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Cordell Green
@inproceedings{DBLP:conf/kbse/Green10,
author = {Cordell Green},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {Keynote address: the actual implementation will be derived from the
formal specification -- KBSA, 1983},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {183--184},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1858998},
doi = {10.1145/1858996.1858998},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Green10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CookeBLG06,
author = {Daniel E. Cooke and
Matt Barry and
Michael Lowry and
Cordell Green},
title = {NASA's Exploration Agenda and Capability Engineering},
journal = {Computer},
volume = {39},
number = {1},
pages = {63--73},
year = {2006},
url = {https://doi.org/10.1109/MC.2006.27},
doi = {10.1109/MC.2006.27},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CookeBLG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/BeckertHHSGRTBR06,
author = {Bernhard Beckert and
Tony Hoare and
Reiner H{\"{a}}hnle and
Douglas R. Smith and
Cordell Green and
Silvio Ranise and
Cesare Tinelli and
Thomas Ball and
Sriram K. Rajamani},
title = {Intelligent Systems and Formal Methods in Software Engineering},
journal = {{IEEE} Intell. Syst.},
volume = {21},
number = {6},
pages = {71--81},
year = {2006},
url = {https://doi.org/10.1109/MIS.2006.117},
doi = {10.1109/MIS.2006.117},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/BeckertHHSGRTBR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/CoglioG05,
author = {Alessandro Coglio and
Cordell Green},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {A Constructive Approach to Correctness, Exemplified by a Generator
for Certified Java Card Applets},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {57--63},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_7},
doi = {10.1007/978-3-540-69149-5\_7},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/CoglioG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BasiliBBBBDFGLL99,
author = {Victor R. Basili and
Laszlo A. Belady and
Barry W. Boehm and
Frederick P. Brooks Jr. and
James Browne and
Richard A. DeMillo and
Stuart I. Feldman and
Cordell Green and
Butler W. Lampson and
Duncan H. Lawrie and
Nancy G. Leveson and
Nancy A. Lynch and
Mark D. Weiser and
Jeannette M. Wing},
title = {{NSF} workshop on a software research program for the 21st century},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {24},
number = {3},
pages = {37--44},
year = {1999},
url = {https://doi.org/10.1145/311963.311993},
doi = {10.1145/311963.311993},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BasiliBBBBDFGLL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Green96,
author = {C. Cordell Green},
title = {Formality Helps Scalability and Robustness},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {5},
year = {1996},
url = {https://doi.org/10.1145/242224.242231},
doi = {10.1145/242224.242231},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Green96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/GoldbergPJ86,
author = {Allen Goldberg and
C. Cordell Green and
Wolfgang Polak and
Richard J{\"{u}}llig},
editor = {Mark Dowson},
title = {Iteration in the software process},
booktitle = {Proceedings of the Third International Software Process Workshop {(ISPW}
'86), November 1986, Beckenridge, Colorado, {USA}},
pages = {105--108},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Tue, 06 May 2003 07:47:53 +0200},
biburl = {https://dblp.org/rec/conf/ispw/GoldbergPJ86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Green85,
author = {C. Cordell Green},
title = {What Is Program Synthesis?},
journal = {J. Autom. Reason.},
volume = {1},
number = {1},
pages = {37--41},
year = {1985},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Green85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/BalzerCG84,
author = {Robert Balzer and
Thomas E. Cheatham Jr. and
C. Cordell Green},
editor = {Colin Potts},
title = {Software technology in the 1990's: using a new paradigm},
booktitle = {Proceedings of a Software Process Workshop, February 1984, Egham,
{UK}},
pages = {3--9},
publisher = {{IEEE} Computer Society},
year = {1984},
timestamp = {Tue, 06 May 2003 08:17:54 +0200},
biburl = {https://dblp.org/rec/conf/ispw/BalzerCG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BalzerCG83,
author = {Robert Balzer and
Thomas E. Cheatham Jr. and
C. Cordell Green},
title = {Software Technology in the 1990's: Using a New Paradigm},
journal = {Computer},
volume = {16},
number = {11},
pages = {39--45},
year = {1983},
url = {https://doi.org/10.1109/MC.1983.1654237},
doi = {10.1109/MC.1983.1654237},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BalzerCG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/LintonBCGSSSZ83,
author = {Mark A. Linton and
Robert Balzer and
R. J. Cunningham and
C. Cordell Green and
Robert L. Sedlmeyer and
Elliott Solloway and
William R. Swartout and
Pamela Zave},
editor = {Richard E. Fairley and
Mark Scott Johnson},
title = {Knowledge-based debugging: session summary},
booktitle = {Proceedings of the symposium on High-level debugging, {SIGSOFT} 1983,
Pacific Grove, California, USA, March 20-23, 1983},
pages = {23--24},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/1006147.1006153},
doi = {10.1145/1006147.1006153},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/LintonBCGSSSZ83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GreenGKKMPTW79,
author = {C. Cordell Green and
Richard P. Gabriel and
Elaine Kant and
Beverly I. Kedzierski and
Brian P. McCune and
Jorge V. Phillips and
Steve Tappel and
Stephen J. Westfold},
editor = {Bruce G. Buchanan},
title = {Results in Knowledge-Based Program Synthesis},
booktitle = {Proceedings of the Sixth International Joint Conference on Artificial
Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
pages = {342--344},
publisher = {William Kaufmann},
year = {1979},
timestamp = {Sun, 18 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GreenGKKMPTW79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GreenB78,
author = {C. Cordell Green and
David R. Barstow},
title = {On Program Synthesis Knowledge},
journal = {Artif. Intell.},
volume = {10},
number = {3},
pages = {241--279},
year = {1978},
url = {https://doi.org/10.1016/S0004-3702(78)80016-2},
doi = {10.1016/S0004-3702(78)80016-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GreenB78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ClarkG78,
author = {Douglas W. Clark and
C. Cordell Green},
title = {A Note on Shared List Structure in {LISP}},
journal = {Inf. Process. Lett.},
volume = {7},
number = {6},
pages = {312--314},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90025-X},
doi = {10.1016/0020-0190(78)90025-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ClarkG78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/Green78a,
author = {Cordell Green},
editor = {Sakti P. Ghosh and
Leonard Y. Liu},
title = {The {PSI} program synthesis system, 1978 - An abstract},
booktitle = {American Federation of Information Processing Societies: 1978 National
Computer Conference, June 5-8, 1978, Anaheim, CA, {USA}},
series = {{AFIPS} Conference Proceedings},
volume = {47},
pages = {673--674},
publisher = {{AFIPS} Press},
year = {1978},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/afips/Green78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ClarkG77,
author = {Douglas W. Clark and
C. Cordell Green},
title = {An Empirical Study of List Structure in Lisp},
journal = {Commun. {ACM}},
volume = {20},
number = {2},
pages = {78--87},
year = {1977},
url = {https://doi.org/10.1145/359423.359427},
doi = {10.1145/359423.359427},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ClarkG77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GreenFK76,
author = {Cordell Green and
Richard Fikes and
Martin Kay},
editor = {John A. Gosden and
Olin G. Johnson},
title = {SIGART(Tutorial Session)},
booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October
20-22, 1976},
pages = {73},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800191.805530},
doi = {10.1145/800191.805530},
timestamp = {Wed, 14 Apr 2021 11:40:49 +0200},
biburl = {https://dblp.org/rec/conf/acm/GreenFK76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GreenFK76a,
author = {Cordell Green and
Richard Fikes and
Martin Kay},
editor = {John A. Gosden and
Olin G. Johnson},
title = {Automatic synthesis - programs and plans},
booktitle = {Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October
20-22, 1976},
pages = {74--75},
publisher = {{ACM}},
year = {1976},
url = {https://doi.org/10.1145/800191.805531},
doi = {10.1145/800191.805531},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/GreenFK76a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Green76,
author = {C. Cordell Green},
editor = {Raymond T. Yeh and
C. V. Ramamoorthy},
title = {The Design of the {PSI} Program Synthesis System},
booktitle = {Proceedings of the 2nd International Conference on Software Engineering,
San Francisco, California, USA, October 13-15, 1976},
pages = {4--18},
publisher = {{IEEE} Computer Society},
year = {1976},
url = {http://dl.acm.org/citation.cfm?id=807643},
timestamp = {Mon, 14 May 2012 18:17:17 +0200},
biburl = {https://dblp.org/rec/conf/icse/Green76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GreenB75,
author = {C. Cordell Green and
David R. Barstow},
title = {Some Rules For The Automatic Synthesis Of Programs},
booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial
Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975},
pages = {232--239},
year = {1975},
url = {http://ijcai.org/Proceedings/75/Papers/033.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:24 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GreenB75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ShawWG75,
author = {David E. Shaw and
William R. Swartout and
C. Cordell Green},
title = {Inferring {LISP} Programs From Examples},
booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial
Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975},
pages = {260--267},
year = {1975},
url = {http://ijcai.org/Proceedings/75/Papers/037.pdf},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ShawWG75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/garland/Green69,
author = {C. Cordell Green},
title = {The Application of Theorem Proving to Question-Answering Systems},
series = {Outstanding Dissertations in the Computer Sciences},
publisher = {Garland Publishing, New York},
year = {1969},
isbn = {0-8240-4415-0},
timestamp = {Fri, 24 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/garland/Green69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Green69,
author = {C. Cordell Green},
editor = {Donald E. Walker and
Lewis M. Norton},
title = {Application of Theorem Proving to Problem Solving},
booktitle = {Proceedings of the 1st International Joint Conference on Artificial
Intelligence, Washington, DC, USA, May 7-9, 1969},
pages = {219--240},
publisher = {William Kaufmann},
year = {1969},
url = {http://ijcai.org/Proceedings/69/Papers/023.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:44 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Green69.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GreenR68,
author = {C. Cordell Green and
Bertram Raphael},
editor = {Richard B. Blue Sr. and
Arthur M. Rosenberg},
title = {The use of theorem-proving techniques in question-answering systems},
booktitle = {Proceedings of the 23rd {ACM} national conference, {ACM} 1968, USA,
1968},
pages = {169--181},
publisher = {{ACM}},
year = {1968},
url = {https://doi.org/10.1145/800186.810578},
doi = {10.1145/800186.810578},
timestamp = {Sun, 18 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acm/GreenR68.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:28 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:
