Article

Free access

The synthesizer generator

Authors:

Tim TeitelbaumAuthors Info & Claims

SDE 1: Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Pages 42 - 48

https://doi.org/10.1145/800020.808247

Published: 25 April 1984 Publication History

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.

References

[1]

Burstall, R.M. Proving properties of programs by structural induction. Comp. J. 12, 1 (Feb. 1969), 41-48.

[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.

Digital 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.

[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.

Digital Library

[5]

Johnson, G.F. An approach to incremental semantics. Ph.D. dissertation, Dept. of Computer Science, Univ. of Wisconsin, Madison, Wisc., 1983.

Digital 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.

[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.

[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 manual and user guide. Tech. Rep. DAIMI MD-30, Computer Science Dept., Aarhus 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.

Digital 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.

[12]

Reps, T. Generating language-based environments. The M.I.T. Press, Cambridge, Mass., 1984.

Digital 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.

[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.

Digital 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.

Digital Library

[16]

The Cornell Program Synthesizer. A syntax-directed programming environment. Commun. ACM 24, 9 (Sept. 1981), 563-573.

Digital Library

Cited By

Sasano IChoi K(2023)A text-based syntax completion method using LR parsing and its evaluationScience of Computer Programming10.1016/j.scico.2023.102957228:COnline publication date: 5-Jun-2023
https://dl.acm.org/doi/10.1016/j.scico.2023.102957
Verano Merino Mvan Wijk KFischer BBurgueño LCazzola W(2022)Workbench for Creating Block-Based EnvironmentsProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567518(61-73)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567518
Verano Merino MSáenz JDíaz Castillo ABeckmann THirschfeld RSáenz JMerino M(2022)Suppose You Had Blocks within a NotebookProceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments10.1145/3563836.3568728(57-62)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563836.3568728
Show More Cited By

Index Terms

The synthesizer generator
1. Software and its engineering
  1. Software notations and tools
    1. Development frameworks and environments
2. Theory of computation
  1. Formal languages and automata theory
    1. Grammars and context-free languages

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 ...
The Synthesizer Generator: A System for Constructing Language-Based Editors

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SDE 1: Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

April 1984

196 pages

ISBN:0897911318

DOI:10.1145/800020

ACM SIGSOFT Software Engineering Notes Volume 9, Issue 3
May 1984
196 pages
ISSN:0163-5948
DOI:10.1145/390010
Editor:
Peter Henderson
Issue’s Table of Contents
ACM SIGPLAN Notices Volume 19, Issue 5
May 1984
196 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/390011
Editor:
Peter Henderson
Issue’s Table of Contents

Copyright © 1984 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 April 1984

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

277
Total Citations
View Citations
1,179
Total Downloads

Downloads (Last 12 months)180
Downloads (Last 6 weeks)23

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sasano IChoi K(2023)A text-based syntax completion method using LR parsing and its evaluationScience of Computer Programming10.1016/j.scico.2023.102957228:COnline publication date: 5-Jun-2023
https://dl.acm.org/doi/10.1016/j.scico.2023.102957
Verano Merino Mvan Wijk KFischer BBurgueño LCazzola W(2022)Workbench for Creating Block-Based EnvironmentsProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567518(61-73)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567518
Verano Merino MSáenz JDíaz Castillo ABeckmann THirschfeld RSáenz JMerino M(2022)Suppose You Had Blocks within a NotebookProceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments10.1145/3563836.3568728(57-62)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3563836.3568728
Bittner PSchultheiß AThüm TKehrer TYoung JLinsbauer LSpinellis DGousios GChechik MDi Penta M(2021)Feature trace recordingProceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3468264.3468531(1007-1020)Online publication date: 20-Aug-2021
https://dl.acm.org/doi/10.1145/3468264.3468531
Sasano IChoi KLindley SMogensen T(2021)A text-based syntax completion method using LR parsingProceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation10.1145/3441296.3441395(32-43)Online publication date: 18-Jan-2021
https://dl.acm.org/doi/10.1145/3441296.3441395
Sasano IPoulsen CHu Z(2020)An approach to generate text-based IDEs for syntax completion based on syntax specificationProceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation10.1145/3372884.3373158(38-44)Online publication date: 20-Jan-2020
https://dl.acm.org/doi/10.1145/3372884.3373158
Zhu ZKo HZhang YMartins PSaraiva JHu Z(2020)Unifying Parsing and Reflective Printing for Fully Disambiguated GrammarsNew Generation Computing10.1007/s00354-019-00082-yOnline publication date: 29-Apr-2020
https://doi.org/10.1007/s00354-019-00082-y
Voelter MKolb BSzabó TRatiu DDeursen A(2019)Lessons learned from developing mbeddrSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0575-418:1(585-630)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-016-0575-4
Voelter MSzabó TLisson SKolb BErdweg SBerger TStorm TBalland EVarro D(2016)Efficient development of consistent projectional editors using grammar cellsProceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2997364.2997365(28-40)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2997364.2997365
Berger TVölter MJensen HDangprasert TSiegmund JZimmermann TCleland-Huang JSu Z(2016)Efficiency of projectional editing: a controlled experimentProceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering10.1145/2950290.2950315(763-774)Online publication date: 1-Nov-2016
https://dl.acm.org/doi/10.1145/2950290.2950315
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents