The Synthesizer Generator

ACM SIGPLAN Notices

Volumn 19, Issue 5, 1984, Pages 42-48

  Reps, Thomas ^a   Teitelbaum, Tim ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976805552     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/390011.808247     Document Type: Article

References (15)

1. BurstMl, R.M. Proving properties of programs by structural induction. Comp. J. I., 12 (Feb. 1969), 41-48. [Darners etal. 1981]
2. Darners, A., Raps, T., and Teitelbaum, T. Incremental evaluation for attribute grammars with application to syntax-directed editors. In Conference Record of the 8th ACM Symposium on Principles of Programming Languages, Williamsburg, Vs., Jan. 20.28, 1981, pp. 105-116.
3. IDonseau-Gouge etal. 1975] Donzeau-Gouge, V., Huet, G., Kahn, G., Lartg B., and Levy, J.J. A structure-oriented program editor. Rep. No. 114, IRIA-LABORIA, Rocquencourt, France, Apr. 1975.
4. Ganzinger, H. and Giegerich, R. Attribute coupled grammars. To appear in Proceedings of the SIGPLAN Symposium on Compiler Construction, Montreal, Can., June 20-22, 1984.
5. Johnson, G.F. An approach to incremental semantics. Ph.D. dissertation, Dept. of Computer Science, Univ. of Wisconsin, Madison, Wisc., 1983.
6. Kastens, U., tlutt, B., arid Zimmermann, E. Lecture Notes in Computer Science, vol. 141: GAG: a Praclfcol Compiler Generator. Springer-Verlag, New York, 1982.
7. Knuth, D.E. Semantics of context-free languages. Math. Sys. Theory i, 2 (June 1968), 127-145. Correction. Math. Sys. Theory. 5, 1 (Mar. 1971), 95-96.
8. Medina-Mora, R. and Notkin, D.S. ALOE users’ and implementors’ guide. Tech. Rap. CMU-CS-81-145, Dept. of Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pa., Nov. 1981.
9. Mosses, P. SIS -- Semantics Implementation System: Reference manuM and user guide. Tech. Rep. DAIMI MD-30, Computer Science Dept., Ant-bus Univ.,. Aarhus, Denmark, Aug. 1979.
10. Paulson, L. A compiler generator for semantic grammars. Ph.D. dissertation, Dept. of Computer Science, Stanford Univ., Stanford, Calif., Dec. 1981. [Ramanathan & Soni 1980]
11. Ramanathan, L and Soni, D. The model for program development and analysis used in TRIAD. Tech. Rep. TRIAD-TR1-80, Dept. of Computer and Information Science, Ohio State Univ., Columbus, Ohio, May 1980.
12. Reps, T. GeBcratlnf lanfea,3e-ba,ed eaeirortments. The M.I.T. Press, Cambridge, Mass., 1984. ns31 Reps, T. Static-semantic analysis in language-based editors. In Digest of Papers of the IEEE Spring CompCon 83, San Francisco, CMif., Mar. 1583, pp. 411-414.
13. Raps, T. and Alpern, B. Interactive proof checking. In Conference Record of the lib ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, Jan. 15-18, 1984, pp. 38-45.
14. Raps, T., Teitelbaum, T., and Demers, A. Incremental context-dependent analysis for language-based editors. ACM Trans. Program. Lang. Syst. 5, 3 (July 1983), 449-477.
15. The Cornell Program Synthesizer. A syntax-directed programming environment. Commun. ACM 24, 9 (Sept. 1981), 563-573.