Compiler structure engineering with attribute grammars
Ilka Miloucheva, Hans Loeper · ACM SIGPLAN Notices · 1991
In this paper are discussed theconcepts of a compiler structure design system and its prototype implementation.In order to obtain the pass structure based on the properties of the deterministic left to right evaluable attribute grammars we useshort pathalgorithms for directed graphs. An algorithm for assignment of attributes to separate passes is shown. We propose a method for extension of the deterministic left to right evaluable attribute grammars withglobal data. Futher we describe the approach of asyntax oriented modularizationfor specifying the compiler structure.Using this research as a base we developed theCSD system (Compiler Structure Design). The CSD system isa compiler engineering toolproviding facilities for specification of compilers and for design of their pass, intermediate program and module structure. The main components of the system are also shown and its use for development of aCOBOLcompiler are discussed.