Thomas Reps
Tim Teitelbaum
ABSTRACT
Programs are hierarchical compositions of formulae satisfying structural and extra-structural relationships. A program editor can use knowledge of such relationships to detect and provide immediate feedback about violations of them. The Synthesizer Generator is a tool for creating such editors from language descriptions. An editor designer specifies the desired relationships and the feedback to be given when they are violated, as well as a user interface; from the specification, the Synthesizer Generator creates a full-screen editor for manipulating programs in the language.
- 1.Burstall, R.M. Proving properties of programs by structural induction. Comp. J. 12, 1 (Feb. 1969), 41-48.Google Scholar
Cross Ref
- 2.Demers, A., Reps, 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, Va., Jan. 26-28, 1981, pp. 105-116. Google ScholarDigital Library
- 3.Donzeau-Gouge, V., Huet, G., Kahn, G., Lang B., and Levy, J.J. A structure-oriented program editor. Rep. No. 114, IRIA-LABORIA, Rocquencourt, France, Apr. 1975.Google Scholar
- 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. Google ScholarDigital Library
- 5.Johnson, G.F. An approach to incremental semantics. Ph.D. dissertation, Dept. of Computer Science, Univ. of Wisconsin, Madison, Wisc., 1983. Google ScholarDigital Library
- 6.Kastens, U., Hutt, B., and Zimmermann, E. Lecture Notes in Computer Science, vol. 141: GAG: a Practical Compiler Generator. Springer-Verlag, New York, 1982.Google Scholar
- 7.Knuth, D.E. Semantics of context-free languages. Math. Sys. Theory 2, 2 (June 1968), 127-145. Correction. ibid. 5, 1 (Mar. 1971), 95-96.Google ScholarCross Ref
- 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.Google Scholar
- 9.Mosses, P. SIS—Semantics Implementation System: Reference manual and user guide. Tech. Rep. DAIMI MD-30, Computer Science Dept., Aarhus Univ., Aarhus, Denmark, Aug. 1979.Google Scholar
- 10.Paulson, L. A compiler generator for semantic grammars. Ph.D. dissertation, Dept. of Computer Science, Stanford Univ., Stanford, Calif., Dec. 1981. Google ScholarDigital Library
- 11.Ramanathan, J. and Soni, D. The model for program development and analysis used in TRIAD. Tech. Rep. TRIAD-TRI-80, Dept. of Computer and Information Science, Ohio State Univ., Columbus, Ohio, May 1980.Google Scholar
- 12.Reps, T. Generating language-based environments. The M.I.T. Press, Cambridge, Mass., 1984. Google ScholarDigital Library
- 13.Reps, T. Static-semantic analysis in language-based editors. In Digest of Papers of the IEEE Spring CompCon 83, San Francisco, Calif., Mar. 1983, pp. 411-414.Google Scholar
- 14.Reps, T. and Alpern, B. Interactive proof checking. In Conference Record of the 11h ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, Jan. 15-18, 1984, pp. 36-45. Google ScholarDigital Library
- 15.Reps, 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. Google ScholarDigital Library
- 16.The Cornell Program Synthesizer. A syntax-directed programming environment. Commun. ACM 24, 9 (Sept. 1981), 563-573. Google ScholarDigital Library
Index Terms
- The synthesizer generator
Recommendations
The synthesizer generator
Programs are hierarchical compositions of formulae satisfying structural and extra-structural relationships. A program editor can use knowledge of such relationships to detect and provide immediate feedback about violations of them. The Synthesizer ...
The synthesizer generator
Programs are hierarchical compositions of formulae satisfying structural and extra-structural relationships. A program editor can use knowledge of such relationships to detect and provide immediate feedback about violations of them. The Synthesizer ...
Comments