Search the dblp DataBase

Publications of Author

1. Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
   Software Technology in the 1990's: Using a New Paradigm. [Citation Graph (3, 0)][DBLP]
   IEEE Computer, 1983, v:16, n:11, pp:39-45 [Journal]
   
2. C. Cordell Green
   The Design of the PSI Program Synthesis System. [Citation Graph (1, 0)][DBLP]
   ICSE, 1976, pp:4-18 [Conf]
   
3. Douglas W. Clark, C. Cordell Green
   An Empirical Study of List Structure in Lisp. [Citation Graph (1, 0)][DBLP]
   Commun. ACM, 1977, v:20, n:2, pp:78-87 [Journal]
   
4. C. Cordell Green
   Application of Theorem Proving to Problem Solving. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1969, pp:219-240 [Conf]
   
5. C. Cordell Green, David R. Barstow
   Some Rules For The Automatic Synthesis Of Programs. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1975, pp:232-239 [Conf]
   
6. Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
   Software technology in the 1990's: using a new paradigm. [Citation Graph (0, 0)][DBLP]
   ISPW, 1984, pp:3-9 [Conf]
   
7. Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig
   Iteration in the software process. [Citation Graph (0, 0)][DBLP]
   ISPW, 1986, pp:105-108 [Conf]
   
8. C. Cordell Green, David R. Barstow
   On Program Synthesis Knowledge. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1978, v:10, n:3, pp:241-279 [Journal]
   
9. C. Cordell Green
   Formality Helps Scalability and Robustness. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1996, v:28, n:4es, pp:5- [Journal]
   
10. Douglas W. Clark, C. Cordell Green
    A Note on Shared List Structure in LISP. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:6, pp:312-314 [Journal]
    
11. C. Cordell Green
    What Is Program Synthesis? [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:37-41 [Journal]