Logic-Based Specification of Visibility Rules

In: U. Kastens, P. Pfahlered., Compiler Construction. LNCS, volume 641, Available, 1992

Authors

• Arnd Poetzsch-Heffter

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 [PH92], [PH91]. Here, we present the new impl ementation 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.

Full Text

• PDF: logic.pdf
• PS.GZ: logic.ps.gz

BibTeX

@InProceedings{Poetzsch-Heffter92logic, 
   author = {Arnd Poetzsch-Heffter}
   title = {Logic-Based Specification of Visibility Rules},
   booktitle = {Compiler Construction},
   series = {LNCS},
   note = {Available},
   year = {1992},
}