Semantic specification language for compiler construction

Pei Chi Chi Wu*, Feng-Jian Wang, Ji Tzay Tzay Yang

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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 languageEnglish
Pages (from-to)23-41
Number of pages19
JournalProceedings of the National Science Council, Republic of China, Part A: Physical Science and Engineering
Issue number1
StatePublished - 1 Jan 1996


Dive into the research topics of 'Semantic specification language for compiler construction'. Together they form a unique fingerprint.

Cite this