Article

Free access

Inverse currying transformation on attribute grammars

Author:

Reinhard WilhelmAuthors Info & Claims

POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Pages 140 - 147

https://doi.org/10.1145/800017.800525

Published: 15 January 1984 Publication History

PDF eReader

Abstract

Inverse currying transformation of an attribute grammar moves a context condition to places in the grammar where the violation of the condition can be detected as soon as the semantic information used in the condition is computed. It thereby takes into account the evaluation order chosen for the attribute grammar. Inverse currying transformations can be used to enhance context sensitive parsing using predicates on attributes, to eliminate sources of backtrack when parsing according to ambiguous grammars, and to facilitate semantics-supported error correction.

References

[1]

R. S. Glanville and S. L. Graham, A New Method for Compiler Code Generation, Proc. 5th ACM Symp. Principles of Programming Languages, Tuscon, Ariz., January, 1978.

Digital Library

Google Scholar

[2]

R. R. Henry, Experience with Practical Graham-Glanville Codegenerators, Ph.D. Thesis, Computer Sciences Division, UC Berkeley, 1983.

Google Scholar

[3]

N. D. Jones and M. Madsen, Attribute-Influenced LR Parsing, in Semantics Directed Compiler Generation, N. D. Jones, (ed.), Springer LNCS, 1980, 393-407.

Digital Library

Google Scholar

[4]

P. M. Lewis, D. J. Rosenkrantz and R. E. Stearns, Attributed Translations, Journal of Computer and System Sciences 9, (1974), 279-307.

Digital Library

Google Scholar

[5]

C. Schmauch, Attribute Evaluation after Recovery from Syntax Error, Fachbereich Informatik, Universität Kaiserslautern, 1982.

Google Scholar

[6]

D. Watt, Rule Splitting and Attribute-Directed Parsing, in Semantics Directed Compiler Generation, N. D. Jones, (ed.), Springer Verlag, 1980.

Digital Library

Google Scholar

[7]

R. Wilhelm, Attributierte Grammatiken, lnformatik Spektrum, 1979.

Google Scholar

[8]

R. Wilhelm, Inverse Currying Transformation on Attribute Grammars, EECS Department, UC Berkeley, 1983.

Digital Library

Google Scholar

Cited By

View all

Reps TSagiv MBauer J(2007)An appreciation of the work of Reinhard WilhelmProgram analysis and compilation, theory and practice10.5555/1805793.1805795(1-11)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1805793.1805795
Reps TSagiv MBauer J(2007)An Appreciation of the Work of Reinhard WilhelmProgram Analysis and Compilation, Theory and Practice10.1007/978-3-540-71322-7_1(1-11)Online publication date: 2007
https://doi.org/10.1007/978-3-540-71322-7_1
Aigrain PGraham SHenry RMcKusick MPelegri-Llopart E(1984)Experience with a Graham-Glanville style code generatorACM SIGPLAN Notices10.1145/502949.50287619:6(13-24)Online publication date: 1-Jun-1984
https://dl.acm.org/doi/10.1145/502949.502876
Show More Cited By

Index Terms

Inverse currying transformation on attribute grammars
1. Mathematics of computing
  1. Mathematical analysis
    1. Numerical analysis
      1. Computation of transforms
2. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms
      1. Rewrite systems
    2. Grammars and context-free languages

Recommendations

Inverse Currying Transformation on Attribute Grammars
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 ...
An attribute language definition for adaptable parsing expression grammars
SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Adaptable Parsing Expression Grammars (APEG) are a formal model whose main purpose is to formally describe the syntax of extensible languages and their extension mechanisms. APEG extends Parsing Expression Grammar model with the notion of syntactic ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

POPL '84: Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

January 1984

302 pages

ISBN:0897911253

DOI:10.1145/800017

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: 15 January 1984

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 824 of 4,130 submissions, 20%

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
235
Total Downloads

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

Reflects downloads up to 27 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Reps TSagiv MBauer J(2007)An appreciation of the work of Reinhard WilhelmProgram analysis and compilation, theory and practice10.5555/1805793.1805795(1-11)Online publication date: 1-Jan-2007
https://dl.acm.org/doi/10.5555/1805793.1805795
Reps TSagiv MBauer J(2007)An Appreciation of the Work of Reinhard WilhelmProgram Analysis and Compilation, Theory and Practice10.1007/978-3-540-71322-7_1(1-11)Online publication date: 2007
https://doi.org/10.1007/978-3-540-71322-7_1
Aigrain PGraham SHenry RMcKusick MPelegri-Llopart E(1984)Experience with a Graham-Glanville style code generatorACM SIGPLAN Notices10.1145/502949.50287619:6(13-24)Online publication date: 1-Jun-1984
https://dl.acm.org/doi/10.1145/502949.502876
Aigrain PGraham SHenry RMcKusick MPelegri-Llopart EVan Deusen MGraham S(1984)Experience with a Graham-Glanville style code generatorProceedings of the 1984 SIGPLAN symposium on Compiler construction10.1145/502874.502876(13-24)Online publication date: 17-Jun-1984
https://dl.acm.org/doi/10.1145/502874.502876

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

Inverse Currying Transformation on Attribute Grammars

The formal power of one-visit attribute grammars

An attribute language definition for adaptable parsing expression grammars