Compiler front-ends today are getting bigger and more complex than ever. Generative (specification) techniques have been applied well in some compiling tasks; however, techniques such as attribute grammars (AGs) are rarely adopted for semantic analysis by production quality compilers. This paper presents a specification language that extends AG specification with modular constructs, remote access, collective computing, and object-orientation in parse tree nodes. The language tries to address AG-specific patterns and bridge the gap between AGs and current object-oriented modeling. The paper also illustrates several examples using the specification language. The language is meant to be used as a specification tool for engineering use in compiler construction.
|Number of pages||19|
|Journal||Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering|
|State||Published - 1 Jan 1996|