Incremental Compilation Reference?

I am writing an incremental compiler for C on a language based
environment. The parser is recursive descent and is generated
automatically using visit sequences computed after determining the
attribute dependencies. The grammar has to be an ordered attribute
grammar. For such a system is there any way of performing incremental
semantic analysis. Specifically I have the following problem:


      For a rule in C like
                <prog> -> <decl_list> <stat_list>;
                <decl_list> -> <decl> <decl_list > | Epsilon ;


where the attributes are as follows :
        stat_list -> Inherited attribute is environment ( This is the
                                                                                          symbol table)
        decl_list ->Synthesized attribute is declrn ( This is the updated
                                                                                                            symbol table)


Now a modification of an identifier type from say int to float requires
that only those statements that are affected by the change be recompiled.
But since the visit sequence generation is not in my control , I am not
able to propogate this change in the declaration to the statements using
it except by recompiling the entire statement body. Any suggestions as to
how it can be done ?


My email address is sudha@csa.iisc.ernet.in


            -Thanks in advance
--

Return to the comp.compilers page.
Search the comp.compilers archives again.