Abstract
Methods are described which make it possible, when given an arbitrary attribute grammar (or AG),
-
1.
to analyze the AG to determine which of its attributes may be computed during LR parsing;
-
2.
to augment the parser with instructions and data structures to compute many attributes during parsing;
-
3.
to use attribute values to assist the parsing process (e.g. to use symbol table information to decide whether P(X) is an array element or a function call).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aho, A. and Ullman, J.: Principles of Compiler Design. Addison-Wesley (1977).
Bochmann, G.V.: Semantic evaluation from left to right. In: Comm. ACM 19, 55–62 (1976).
Cohen, R. and Harry, E.: Automatic Generation of Near-Optimal Linear-Time Translation for Non-circular Attribute Grammars. In: Conference Record of 6th ACM Symposium on Principles of Programming Languages. 121–134 (1979).
Demers, A.: Generalized left-corner parsing. In: Conference Record of the 4th ACM Symposium on Principles of Programming Languages, 170–182 (1977).
Kennedy, K. and Warren, S.K. Automatic Generation of Efficient Evaluations for Attribute Grammars. In: Conference Record of 3rd ACM Symposium on Principles of Programming Languages, 32–49 (1976).
Knuth, D.E.: Semantics of context-free languages. In: Mathematical Systems Theory 2, 127–145 (1968).
Knuth, D.E.: Semantics of context-free languages: correction. In: Mathematical Systems Theory 5, 95–96 (1971).
Lewis, P.M., Rosenkrantz, D.J. and Stearns, R.E.: Attributed Translations. In: Journal of Computer and System Sciences 9, 279–307 (1974).
Madsen, M.: Parsing Attribute Grammars. Thesis, University of Aarhus, Denmark (1980).
Madsen, O.L.: On defining semantics by means of extended attribute grammars. Report DAIMI PB-109, 65 pp, University of Aarhus, Denmark, (1980).
Milton, D.: Syntactic specification and analysis with attributed grammars. Computer Science Technical Report #304, University of Wisconsin-Madison (1977).
Milton, D. and Fischer, C.: LL(k) parsing for attributed grammars. In: Automata, Languages and Programming, (ed. Maurer, H.A.) 422–430. Lecture Notes in Computer Science, vol. 7. Berlin-Heidelberg-New York, Springer (1979).
Purdom, P. and Brown, C.A.: Semantic Routines and LR(k) Parsers. Tech. Report 83, Computer Science Department, Indiana Univ. (1979).
Rowland, B.: Combining parsing and evaluation for attributed grammars. Computer Science Technical Report #308, University of Wisconsin-Madison (1977).
Räihä, K. and Ukkonen, E.: One-pass evaluation of attribute grammars using recursive parsing techniques. To appear in IFIP Proceedings, 1980.
Schulz, W.A.: Semantic analysis and target language synthesis in a translator. Ph.D. Thesis, University of Colorado, Boulder, Colorado (1976).
Watt, D.A.: The parsing problem for affix grammars. In: Acta Informatica 8, 1–20 (1977).
Watt, D.A.: An extended attribute grammar for Pascal. Report no. 11, Computing Department, University of Glasgow (1977). Also in: SIGPLAN Notices 14, no. 2, 60–74 (1979).
Watt, D.A.: Rule splitting and attribute-directed parsing, These proceedings.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jones, N.D., Madsen, M. (1980). Attribute-influenced LR parsing. In: Jones, N.D. (eds) Semantics-Directed Compiler Generation. SDCG 1980. Lecture Notes in Computer Science, vol 94. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10250-7_30
Download citation
DOI: https://doi.org/10.1007/3-540-10250-7_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10250-2
Online ISBN: 978-3-540-38339-0
eBook Packages: Springer Book Archive