The why and wherefore of the Cornell Program Synthesizer

Proceedings of the ACM SIGPLAN SIGOA Symposium on Text Manipulation

Volumn , Issue , 1981, Pages 8-16

  Teitelbaum, Tim ^a   Reps, Thomas ^a   Horwitz, Susan ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC PRINCIPLES; DESIGN DECISIONS; INTRODUCTORY PROGRAMMING COURSE; PROGRAMMING ENVIRONMENT;

EID: 85060714662     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800209.806448     Document Type: Conference Paper

References (11)

1. Alberga, C.N., Brown, A.L., Leeman, G.B., Mikelsons, M., Wegman, M.N. A Program Development Tool. Conference Record of the Eighth Annual Symposium on Principles of Programming Languages, Williamsburg, VA, January, 1981, pp. 92-104.
2. Conway, R. and Constable, R. PL/CS — A disciplined Subset of PL/I. Technical Report 76-293, Department of Computer Science, Cornell 1976.
3. Conway, R. and Gries, D. An introduction to Programming — a structured approach using PL/I and PL/C. Winthrop 1979, pp. 135-137.
4. Donzeau-Gouge, V., Huet, G., Kahn, G., Lang B., and Levy, J.J. A structure-oriented program editor. Technical Report, IRIA-LABORIA, France 1975.
5. Habermann, A.N. An overview of the Gandalf project. Computer Science Research Review 1978-79, Carnegie-Mellon University, 1979.
6. Hansen, W. User engineering principles for interactive systems. Fall Joint Computer Conference, 1971
7. Teitelbaum, T. The Cornell program synthesizer: a microcomputer implementation of PL/CS. Tech. Report No. TR79-370, Department of Computer Science, Cornell University, June 1979.
8. Teitelbaum, T. The Cornell program synthesizer: a tutorial introduction. Tech. Report No. TR79-381, Dept. Computer Science. Cornell U., July 1979, Revised January 1980.
9. Teitelbaum, T. and T. Reps The Cornell Program Synthesizer: A syntax-directed programming environment. Comm. ACM, to appear.
10. Teitelman, W. INTERLISP reference manual. Xerox PARC, 1974.
11. Wilcox, T.R., Davis, A.M., and. Tindall, M.H. The design and implementation of a table driven, interactive diagnostic programming system. Comm. ACM 19, 11 (November 1976), pp. 609-616.