article

Free access

Higher-order attribute grammars and editing environments

Authors:

Tim Teitelbaum,

Richard ChapmanAuthors Info & Claims

ACM SIGPLAN Notices, Volume 25, Issue 6

Pages 197 - 208

https://doi.org/10.1145/93548.93567

Published: 01 June 1990 Publication History

PDF eReader

References

[1]

G.M. Beshers and R. H. Campbell. Maintained and constructor attributes. In Proceedings of the A CM SIGPLAN '85 Symposium on Language Issues in Programming Environments, pages 121-131, Seattle, Washington, June 25- 28 1985.

Digital Library

Google Scholar

[2]

B. Backlund, P. Forslund, O. Hagsand, and B. Pehrson. Generation of graphic languageoriented design environments. In 9th IFIP International Symposium on Protocol Specification, Tezting, and Verification, Twente University, April 1989.

Google Scholar

[3]

R. Bahlke and G. Snelting. The PSG system: From formal language definitions to internetire programming environments. A CM Transactions on Programming Languages and Systems, 8(4):547-576, October 1986.

Digital Library

Google Scholar

[4]

Constable, R.L., et. el. Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewoods CUff, N.J., 1986.

Digital Library

Google Scholar

[5]

A. Demers, T. Reps, and T. Teitelbaum. Incremental evaluation for attribute grammars with application to syntax-directed editors. Proceedings of the 8th Annual A CM Symposium on the Principles of Programming Languages, pages 105-116, 1981.

Digital Library

Google Scholar

[6]

R. Farrow. Automatic generation of fixedpoint-finding evaluators for circular, but welldefined, attribute grammars. PROC of the SIG. PLAN 86 Symposium on Compiler Construction, pages 85-98, 1986.

Digital Library

Google Scholar

[7]

P. Franchi-Zannettacci. Attribute specifications for graphical interface generation. In G. X. Bitter, editor, Eleventh World Computer IFIP Congress, pages 149-155, San Fransisco, CA, USA, August 1989. Information Processing 89, Elsevier Science Pub. (North Holland).

Google Scholar

[8]

T.G. Griffin. An environment for formal systems. Technical Report 87-846, Cornell University, 1987.

Digital Library

Google Scholar

[9]

R. Hoover. Incremental Graph Evaluation. PhD thesis, Department of Computer Science, Cornell University, Ithaca, New York 14853, May 1987. Also Tech Report 87-836.

Digital Library

Google Scholar

[10]

S. Horwitz and T. Teitelbaum. Generating editing environments based on relations and attributes. A CM Transactions on Programming Languages and Systems, 8(4):577-608, October 1986.

Digital Library

Google Scholar

[11]

G.F. Johnson and C. N. Fischer. A metelanguage and system for nonlocal incremental attribute evaluation in language-based editors. Proceedings of the Twelfth A CM Symposium on Principles of Programming Languages, pages 141-151, January 1985.

Digital Library

Google Scholar

[12]

M. Jourdan. Personal communication, September 1989. A version of CENTAUR is planned that will make use of the FNC-2 system for incremental semantic analysis.

Google Scholar

[13]

U. Kastens. Ordered attribute grammars. A CTA Informatica, 13(3):229-256, 1980.

Digital Library

Google Scholar

[14]

D.E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127- 145, 1968.

Crossref

Google Scholar

[15]

P. Lipps, U. Moncke, M. Olk, and R. Wilhelm. Attribute (re)evaluation in OPTRAN. Acta In. formatica, 26:218-239, 1988.

Digital Library

Google Scholar

[16]

M. Pfreundschuh. A Model .for Building Modular Systems Based on Attribute Grammars. PhD Thesis, The University of Iowa, 1986.

Digital Library

Google Scholar

[17]

R. Paige and S. Koenig. Finite differencing of computable expressions. Transactions on Programming Languages and Systems, 4(3):402- 454, July 1982.

Digital Library

Google Scholar

[18]

T.W. Reps. Generating Language. Based En. vironments. The MIT Press, Cambridge, Massachusetts, 1984.

Digital Library

Google Scholar

[19]

T. Reps and T. Teitelbaum. The Synthesizer Generator. In Proc. A CM SIG- SOFT/SIGPLAN Software Engineering Symposlum on Practical Software Development Environments, Pittsburgh, Pennsylvania, April 23- 25 1984. Appeared in SIGPLAN NOTICES 19, 5 (M,y 19s4).

Digital Library

Google Scholar

[20]

T. Reps and T. Teitelbaum. The Synthesizer Generator: A System for Constructing Language. Based Editors. Springer-Verlag, NY, 1988.

Digital Library

Google Scholar

[21]

T. Reps and T. Teitelbaum. The Synthesizer Generator Reference Manual Springer-Verier, Third edition, 1988. First edition, Cornell University, August, 1985; Second edition, Cornell University, June, 1987.

Digital Library

Google Scholar

[22]

B. Ritchie and P. Taylor. The interactive proof editor: An experiment in interactive theorem proving. In G. Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving, pages 303-322. Springer-Verlag, 1989.

Digital Library

Google Scholar

[23]

M. Schwartz, N. Delisle, and V. Begwani. Incremental compilation in Magpie. In Proceedings of the A CM SIGPLAN '84 Symposium on Compiler Construction, pages 121-131, Montreal, Canada, June 20-22 1984.

Digital Library

Google Scholar

[24]

J.E. Stoy. Denotational Semantics: The Scott- Strachey Approach to Programming Language Theory. The MIT Press, Cambridge, Massachusctts, 1977.

Digital Library

Google Scholar

[25]

H.H. Vogt, S. D. Swieerstra, and M. F. Kuiper. Higher order attribute grammars. In Proceedings of the A CM SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 131-145, Portland, Oregon, June 21-23 1989.

Digital Library

Google Scholar

[26]

D. Yeh. On incremental evaluation of ordered attributed grammars. BIT, 23:308-320, 1983.

Crossref

Google Scholar

[27]

D. Yellin and R. Strom. INC: A language for incremental computations. Technical Report RC 13327, IBM, Thomas J. Watson Research Center, Yorktown Heights, New York 10598, December 1987.

Google Scholar

Cited By

View all

Van Wyk E(2007)Implementing aspect-oriented programming constructs as modular language extensionsScience of Computer Programming10.1016/j.scico.2005.06.00668:1(38-61)Online publication date: 1-Aug-2007
https://dl.acm.org/doi/10.1016/j.scico.2005.06.006
Gondow KImaizumi THagiwara TKatayama T(2007)Application of object‐oriented attribute grammars (OOAG) to software development environmentsSystems and Computers in Japan10.1002/scj.469027070127:7(1-17)Online publication date: 21-Mar-2007
https://doi.org/10.1002/scj.4690270701
Saraiva J(2002)Component-Based Programming for Higher-Order Attribute GrammarsGenerative Programming and Component Engineering10.1007/3-540-45821-2_17(268-282)Online publication date: 26-Sep-2002
https://doi.org/10.1007/3-540-45821-2_17
Show More Cited By

Index Terms

Higher-order attribute grammars and editing environments
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Translator writing systems and compiler generators
    2. Formal language definitions
      1. Syntax
2. Theory of computation
  1. Formal languages and automata theory
    1. Grammars and context-free languages

Recommendations

Monolithic and modular termination analyses for higher-order attribute grammars

In this paper we describe a sound, but not complete, analysis to prove the termination of higher-order attribute grammar evaluation caused by the creation of an unbounded number of (finite) trees as local tree-valued attributes, which are then ...
Component-Based Programming for Higher-Order Attribute Grammars
GPCE '02: Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering

This paper presents techniques for a component-based style of programming in the context of higher-oder attribute grammars (HAG). Attribute grammar components are "plugged in" into larger attribute grammar systems through higher-order attribute ...
Higher order attribute grammars
Proceedings of the SIGPLAN '89 symposium on Interpreters and interpretive techniques

A new kind of attribute grammars, called higher order attribute grammars, is defined. In higher order attribute grammars the structure tree can be expanded as a result of attribute computation. A structure tree may be stored in an attribute. The term ...

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 25, Issue 6

Jun. 1990

343 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/93548

Editor:
Marina Chen

Issue’s Table of Contents

PLDI '90: Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
June 1990
351 pages
ISBN:0897913647
DOI:10.1145/93542
Chairman:
Bernard N. Fischer

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: 01 June 1990

Published in SIGPLAN Volume 25, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
472
Total Downloads

Downloads (Last 12 months)30
Downloads (Last 6 weeks)6

Reflects downloads up to 10 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Van Wyk E(2007)Implementing aspect-oriented programming constructs as modular language extensionsScience of Computer Programming10.1016/j.scico.2005.06.00668:1(38-61)Online publication date: 1-Aug-2007
https://dl.acm.org/doi/10.1016/j.scico.2005.06.006
Gondow KImaizumi THagiwara TKatayama T(2007)Application of object‐oriented attribute grammars (OOAG) to software development environmentsSystems and Computers in Japan10.1002/scj.469027070127:7(1-17)Online publication date: 21-Mar-2007
https://doi.org/10.1002/scj.4690270701
Saraiva J(2002)Component-Based Programming for Higher-Order Attribute GrammarsGenerative Programming and Component Engineering10.1007/3-540-45821-2_17(268-282)Online publication date: 26-Sep-2002
https://doi.org/10.1007/3-540-45821-2_17
Adachi YAnzai KTsuchida KYaku T(1996)Hierarchical Program Diagram Editor Based on Attributed Graph GrammarProceedings of the 20th Conference on Computer Software and Applications10.5555/872750.873398Online publication date: 19-Aug-1996
https://dl.acm.org/doi/10.5555/872750.873398
Ramalingam GReps TVan Deusen MLang B(1993)A categorized bibliography on incremental computationProceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/158511.158710(502-510)Online publication date: 1-Mar-1993
https://dl.acm.org/doi/10.1145/158511.158710
Wyk EHeimdahl M(2018)Flexibility in modeling languages and toolsInternational Journal on Software Tools for Technology Transfer (STTT)10.5555/3220918.322122811:3(203-215)Online publication date: 28-Dec-2018
https://dl.acm.org/doi/10.5555/3220918.3221228
Van Wyk EHeimdahl M(2009)Flexibility in modeling languages and tools: a call to armsInternational Journal on Software Tools for Technology Transfer10.1007/s10009-009-0107-411:3(203-215)Online publication date: 15-Apr-2009
https://doi.org/10.1007/s10009-009-0107-4
Kikuchi YKatayama T(2007)On Generalization of Attribute GrammarsSystems and Computers in Japan10.1002/scj.469027090427:9(33-42)Online publication date: 21-Mar-2007
https://doi.org/10.1002/scj.4690270904
Hedin G(2005)An overview of door attribute grammarsCompiler Construction10.1007/3-540-57877-3_3(31-51)Online publication date: 30-May-2005
https://doi.org/10.1007/3-540-57877-3_3
Swierstra DVogt H(2005)Higher Order Attribute GrammarsAttribute Grammars, Applications and Systems10.1007/3-540-54572-7_10(256-296)Online publication date: 29-May-2005
https://doi.org/10.1007/3-540-54572-7_10
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

References

Cited By

Index Terms

Recommendations

Monolithic and modular termination analyses for higher-order attribute grammars

Component-Based Programming for Higher-Order Attribute Grammars