A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling

The syntax-directed translation [1,7] technique based on attribute grammar has been the most commonly used method for compiler development. However, as a design of compiler with syntax-directed translation depends on the parsing methods, the conceptual structure of the compiler does not correspond well to the actual modules which implement its conceptual structure. As a result, the developed compiler may have the structure with less modularity. Moreover, as the semantics in modern high-level programming languages becomes more complicated, compilers are also getting complicated. These aspects may lead to difficulties in compiler development and maintenance for such languages. To enhance modularity and reusability of software, various methodologies have been devel-

[1]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[2]  Steven P. Reiss Automatic Compiler Production: The Front End , 1987, IEEE Transactions on Software Engineering.

[3]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[4]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[5]  Feng-Jian Wang,et al.  An object-oriented specification for compiler , 1992, SIGP.

[6]  Niklaus Wirth,et al.  Pascal User Manual and Report , 1991, Springer New York.