article

Free access

The synthesizer generator

Authors:

Tim TeitelbaumAuthors Info & Claims

ACM SIGPLAN Notices, Volume 19, Issue 5

Pages 42 - 48

https://doi.org/10.1145/390011.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

Macedo JRodrigues EViera MSaraiva J(2024)Zipper-based embedding of strategic attribute grammarsJournal of Systems and Software10.1016/j.jss.2024.111975211(111975)Online publication date: May-2024
https://doi.org/10.1016/j.jss.2024.111975
Lafontant LSyriani E(2024)Modeling with Gentleman: a web-based projectional editorSoftware and Systems Modeling10.1007/s10270-024-01219-4Online publication date: 9-Oct-2024
https://doi.org/10.1007/s10270-024-01219-4
Macedo JRodrigues EViera MSaraiva JBrady EPalsberg J(2023)Efficient Embedding of Strategic Attribute Grammars via MemoizationProceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation10.1145/3571786.3573019(41-54)Online publication date: 15-Jan-2023
https://dl.acm.org/doi/10.1145/3571786.3573019
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
SDE 1: Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

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

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
Chairmen:
William Riddle,
Peter B. Henderson

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

Published in SIGPLAN Volume 19, Issue 5

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

278
Total Citations
View Citations
1,211
Total Downloads

Downloads (Last 12 months)200
Downloads (Last 6 weeks)38

Reflects downloads up to 12 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Macedo JRodrigues EViera MSaraiva J(2024)Zipper-based embedding of strategic attribute grammarsJournal of Systems and Software10.1016/j.jss.2024.111975211(111975)Online publication date: May-2024
https://doi.org/10.1016/j.jss.2024.111975
Lafontant LSyriani E(2024)Modeling with Gentleman: a web-based projectional editorSoftware and Systems Modeling10.1007/s10270-024-01219-4Online publication date: 9-Oct-2024
https://doi.org/10.1007/s10270-024-01219-4
Macedo JRodrigues EViera MSaraiva JBrady EPalsberg J(2023)Efficient Embedding of Strategic Attribute Grammars via MemoizationProceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation10.1145/3571786.3573019(41-54)Online publication date: 15-Jan-2023
https://dl.acm.org/doi/10.1145/3571786.3573019
Macedo JViera MSaraiva J(2022)Zipping Strategies and Attribute GrammarsFunctional and Logic Programming10.1007/978-3-030-99461-7_7(112-132)Online publication date: 10-May-2022
https://dl.acm.org/doi/10.1007/978-3-030-99461-7_7
Merino MVinju Jvan der Storm TPearce DMayerhofer TSteimann F(2018)Bacatá: a language parametric notebook generator (tool demo)Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276981(210-214)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276981
Fernandes JMartins PPardo ASaraiva JViera M(2018)Memoized zipper-based attribute grammars and their higher order extensionScience of Computer Programming10.1016/j.scico.2018.10.006Online publication date: Nov-2018
https://doi.org/10.1016/j.scico.2018.10.006
Omar CVoysey IHilton MAldrich JHammer M(2017)Hazelnut: a bidirectionally typed structure editor calculusACM SIGPLAN Notices10.1145/3093333.300990052:1(86-99)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009900
Omar CVoysey IHilton MAldrich JHammer MCastagna GGordon A(2017)Hazelnut: a bidirectionally typed structure editor calculusProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009900(86-99)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009900
Amorim LErdweg SWachsmuth GVisser EStorm TBalland EVarro D(2016)Principled syntactic code completion using placeholdersProceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering10.1145/2997364.2997374(163-175)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2997364.2997374
Chiş AGîrba TKubelka JNierstrasz OReichhart SSyrel A(2016)Exemplifying Moldable DevelopmentProceedings of the Programming Experience 2016 (PX/16) Workshop10.1145/2984380.2984385(33-42)Online publication date: 18-Jul-2016
https://dl.acm.org/doi/10.1145/2984380.2984385
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

Figures

Tables

Media

View Issue’s Table of Contents