Grammar flow analysis

Abstract

This paper specifies the theoretical basis for the implementation of different generators of the OPTRAN system. Grammar Flow analysis transports the techniques of data flow analysis to the meta level of compiler construction. The analogon to the states in data flow analysis are the syntax trees together with some information, which is associated with trees by propagation functions. One example is the association of characteristic graphs, another example the association of sets of matching tree patterns.