Incremental Compilation Reference?

Sudha <>
Tue, 15 Feb 1994 20:37:13 GMT

          From comp.compilers

Related articles
Incremental Compilation Reference? (Sudha) (1994-02-15)
| List of all articles for this month |

Newsgroups: comp.compilers
From: Sudha <>
Keywords: analysis, question
Organization: Compilers Central
Date: Tue, 15 Feb 1994 20:37:13 GMT

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

            -Thanks in advance

Post a followup to this message

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