Article

Free access

Incremental evaluation for a general class of circular attribute grammars

Authors:

J. A. Walz,

G. F. JohnsonAuthors Info & Claims

PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation

Pages 209 - 221

https://doi.org/10.1145/53990.54011

Published: 01 June 1988 Publication History

PDF eReader

References

[1]

Bahlke, R. and G. Snelting, "The PSG System: From Formal Language Definitions to Interactive Programming Environments," ACM Transactions on Programming Languages and Systems 8(4), pp. 547-576 (October 1986).

Digital Library

Google Scholar

[2]

Bahlke, Rolf, Bernhard Moritz, and Gregor Snelting, "A Generator for Language-Specific Debugging Systems," Proc. of the ACM SIGPLAN 87 Symposium on Interpreters and Interpretive Techniques, $1GPLAN Notices 22(7), pp. 92-101 (June 1987).

Digital Library

Google Scholar

[3]

Farrow, Rodney, "Automatic Generation of Fixed-Point-Finding Evaluators for Circular, but Well-Defined, Attribute Grammars," Proc. of the ACM SIGPLAN 86 Symposium on Compiler Construction, SIGPLAN Notices 21(7), pp. 85-98 (July 1986).

Digital Library

Google Scholar

[4]

Fischer, C.N., G.F. Johnson, J. Mauney, A. Pat, D.L. Stock, "An Introduction to Editor Allan POE," Proc. of Softfair, A Conference on Software Development Tools, Techniques, and Alternatives (July 1983).

Google Scholar

[5]

Hoover, Roger, "Dynamically Bypassing Copy Rule Chains in Attribute Grammars," Proc. of the Thirteenth ACM Symposium on Principles of Programruing Languages, pp. 14-25 (January 1986).

Digital Library

Google Scholar

[6]

Hoover, Roger, Incremental Graph Evaluation, Ph.D. thesis, TR 87-836, Cornell University (May 1987).

Digital Library

Google Scholar

[7]

Johnson, Gregory F. and C. N. Fischer, "A Meta-Language and System for Nonlocat incremental Attribute Evaluation in Language-Based Editors," Proc. of the Twelfth ACM Symposium on Principles of Programming Languages, pp. 141-151 (January 1985).

Digital Library

Google Scholar

[8]

Jones, Larry G. and Janos Simon, "Hierarchical VLSI Design Systems Based on Attribute Grammars," Proc. of the Thirteenth ACM Symposium on Principles of Programming Languages, pp. 58-69 (January 1986).

Digital Library

Google Scholar

[9]

Karinthi, Raghu R. and Mark Weiser, "Incremental Re-Execution of Programs," Proc. of the ACM $1GPLAN 87 Symposium on Interpreters and Interpretive Techniques, SIGPLAN Notices 22(7), pp. 38-44 (june 1987).

Digital Library

Google Scholar

[10]

Kastens, Uwe, "Ordered Attribute Grammars," Acta Informatica 13, pp. 229- 256.

Digital Library

Google Scholar

[11]

Knuth, Donald E., "Semantics of Contextfree Languages," Mathematical Systems Theory 2(2), pp. 127-145 (June 1968). Correction 5(1), pp. 95-96 (March 1971).

Crossref

Google Scholar

[12]

Reps, Thomas and Tim Teitelbaum, "The Synthesizer Generator," Proc. of the ACM Software Engineering Symposium on Practical Software Development Environments, pp. 42-48 (April 1984).

Digital Library

Google Scholar

[13]

Reps, Thomas, Carla Marceau, and Tim Teitelbaurn, "Remote Attribute Updating for Language-Based Editors," Proc. of the Thirteenth ACM Symposium on Principles of Programming Languages, pp. 1-13 (January 1986).

Digital Library

Google Scholar

[14]

Reps, Thomas, Tim Teitelbaum, and Alan Demers, "Incremental Context- Dependent Analysis for Language-Based Editors," ACM Transactions on Programming Languages and Systems 5(3), pp. 449-477 (July 1983).

Digital Library

Google Scholar

[15]

Skedzeleski, Stephen K., Definition and Use of Attribute Reevaluation in Attributed Grammars, Ph.D. thesis, University of Wisconsin (December 1978).

Digital Library

Google Scholar

Cited By

View all

Saha DRamakrishnan C(2006)A local algorithm for incremental evaluation of tabled logic programsProceedings of the 22nd international conference on Logic Programming10.1007/11799573_7(56-71)Online publication date: 17-Aug-2006
https://dl.acm.org/doi/10.1007/11799573_7
Walz JJohnson G(1995)Inductive attribute grammarsActa Informatica10.1007/BF0117774332:2(117-144)Online publication date: Feb-1995
https://doi.org/10.1007/BF01177743
Marlowe TRyder B(1990)Properties of data flow frameworksActa Informatica10.5555/2697758.269807028:2(121-163)Online publication date: 1-Feb-1990
https://dl.acm.org/doi/10.5555/2697758.2698070
Show More Cited By

Index Terms

Incremental evaluation for a general class of circular attribute grammars

Recommendations

Strongly non-circular attribute grammars and their recursive evaluation
SIGPLAN '84: Proceedings of the 1984 SIGPLAN symposium on Compiler construction

This paper is devoted to the construction of recursive evaluators for strongly non-circular attribute grammars. This class of attribute grammars is very large and includes every practical example ; testing strong non-circularity can be done in ...
Incremental attribute evaluation through recursive procedures

Incremental semantic analysis in a programming environment based on Attribute Grammars is performed by an Incremental Attribute Evaluator (IAE). Current IAEs are either table-driven or make extensive use of graph structures to schedule reevaluation of ...
The formal power of one-visit attribute grammars

An attribute grammar is one-visit if the attributes can be evaluated by walking through the derivation tree in such a way that each subtree is visited at most once. One-visit (1V) attribute grammars are compared with one-pass left-to-right (L) attribute ...

Comments

Information & Contributors

Information

Published In

PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming language design and implementation

June 1988

338 pages

ISBN:0897912691

DOI:10.1145/53990

Editor:
R. L. Wexelblat
Philips Laboratories, Briarcliff Manor, NY

ACM SIGPLAN Notices Volume 23, Issue 7
Proceedings of the SIGPLAN '88 conference on Programming language design and implementation
July 1988
338 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/960116
Issue’s Table of Contents

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 1988

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PLDI88

Sponsor:

SIGPLAN

PLDI88: SIGPLAN 88

June 20 - 24, 1988

Georgia, Atlanta, USA

Acceptance Rates

Overall Acceptance Rate 406 of 2,067 submissions, 20%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
373
Total Downloads

Downloads (Last 12 months)82
Downloads (Last 6 weeks)20

Reflects downloads up to 21 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Saha DRamakrishnan C(2006)A local algorithm for incremental evaluation of tabled logic programsProceedings of the 22nd international conference on Logic Programming10.1007/11799573_7(56-71)Online publication date: 17-Aug-2006
https://dl.acm.org/doi/10.1007/11799573_7
Walz JJohnson G(1995)Inductive attribute grammarsActa Informatica10.1007/BF0117774332:2(117-144)Online publication date: Feb-1995
https://doi.org/10.1007/BF01177743
Marlowe TRyder B(1990)Properties of data flow frameworksActa Informatica10.5555/2697758.269807028:2(121-163)Online publication date: 1-Feb-1990
https://dl.acm.org/doi/10.5555/2697758.2698070
Thome WWilheim R(1989)Simulating circular attribute grammars through attribute reevaluationInformation Processing Letters10.1016/0020-0190(89)90159-233:2(79-81)Online publication date: 10-Nov-1989
https://dl.acm.org/doi/10.1016/0020-0190%2889%2990159-2
Hudson S(1991)Incremental attribute evaluationACM Transactions on Programming Languages and Systems10.1145/117009.11701213:3(315-341)Online publication date: 1-Jul-1991
https://dl.acm.org/doi/10.1145/117009.117012
Marlowe TRyder B(1990)Properties of data flow frameworksActa Informatica10.1007/BF0123723428:2(121-163)Online publication date: Feb-1990
https://doi.org/10.1007/BF01237234

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Strongly non-circular attribute grammars and their recursive evaluation

Incremental attribute evaluation through recursive procedures

The formal power of one-visit attribute grammars