Abstract
Identification is the task of finding the relation between used identifier occurrences and the declared entities of a program. The paper presents the techniques needed for the implementation of high-level identification specifications based on visibility rules. The underlying specification method is related to descriptions in language reports defining the identification in terms of validity and hiding of bindings in program ranges. This leads to shorter and better to read specifications. Sematics and specification properties of the method are already considered in [PH91c], [PH91b]. Here, we present the new implementation techniques developed for the generation of compiler front-ends from high-level identification specifications. The implementation combines instantiation and partial evaluation of expressions with a generated global table mechanism.
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
H. Ganzinger. Modular first-order specifications of operational semantics. In H. Ganzinger and N. D. Jones, Programs as Data Objects, 1985. LNCS 217.
P. E. Garrison. Modeling and Implementation of Visibility in Programming Languages. PhD thesis, University of California, Berkley, 1987.
G. Goos, W. A. Wulf, A. Evans, Jr., and K. J. Butler, editors. DIANA An Intermediate Language for Ada, volume 161 of LNCS. Springer-Verlag, 1987.
U. Kastens and W. M. Waite. An abstract data type for name analysis. Acta Informatica 28, 1991.
M. Odersky. A New Approach to Formal Language Definition and its Application to Oberon. PhD thesis, (ETH) Zürich, 1989. Diss. ETH No. 8938.
J. Palsberg. A provably correct compiler generator. In Proc. of ESOP'92 Symposium on Compiler Construction, 1992.
A. Poetzsch-Heffter. Formale Spezifikation kontextabhängiger Syntax von Programmiersprachen. PhD thesis, Technische Universität München, 1991.
A. Poetzsch-Heffter. Identification as programming language principle. Interner Bericht; Technische Universität München, 1991.
A. Poetzsch-Heffter. Logic-based specification of visibility rules. In J. Maluszynski and M. Wirsing, editors, PLILP'91, 1991. LNCS 528.
A. Poetzsch-Heffter. Making more use of syntax trees during semantic analysis. Technical report; Technische Universität München, 1992.
S. Reiss. Generation of compiler symbol processing mechanisms from specifications. ACM Transactions on Programming Languages and Systems, 5(2), 1983.
J. Uhl. Spezifikation von Programmiersprachen und Übersetzern, volume 161 of GMD-Bericht. R. Oldenbourg Verlag, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poetzsch-Heffter, A. (1992). Implementing high-level identification specifications. In: Kastens, U., Pfahler, P. (eds) Compiler Construction. CC 1992. Lecture Notes in Computer Science, vol 641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55984-1_7
Download citation
DOI: https://doi.org/10.1007/3-540-55984-1_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55984-9
Online ISBN: 978-3-540-47335-0
eBook Packages: Springer Book Archive