Abstract
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.
Original language | English |
---|---|
Pages (from-to) | 23-41 |
Number of pages | 19 |
Journal | Proceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering |
Volume | 20 |
Issue number | 1 |
State | Published - 1 Jan 1996 |