An object-oriented specification for compiler

In this paper, we present an object-oriented approach to compiler specification. Our method treats grammar symbols as templates which instantiate nodes of parse tree for object-oriented semantic analysis. To have better classification and inheritance for semantic description, it uses restricted CFG to specify grammar rules. The semantic specification is done based on a class hierarchy generated from the restricted CFG. Besides, that a path expression is booted to describe the possible receivers of a message releases the restriction on the specification of message (value) propagations in attribute grammar methods.

[1]  Kai Koskimies,et al.  Software Engineering Aspects in Language Implementation , 1988, CC.

[2]  Robert L. Nord,et al.  The ergo attribute system , 1988, SDE 3.

[3]  Nigel P. Chapman.  On Extended Attribute Grammars , 1992, Bull. EATCS.

[4]  Richard J. LeBlanc,et al.  A naming specification language for syntax-directed editors , 1988, Proceedings. 1988 International Conference on Computer Languages.

[5]  Feng-Jian Wang,et al.  Applying classification and inheritance into compiling , 1993, OOPS.

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

[7]  Peter Wegner,et al.  Dimensions of object-based language design , 1987, OOPSLA '87.

[8]  F. K. Zadeck,et al.  Attribute propagation by message passing , 1985, SLIPE '85.

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