|Incremental Compilation Reference? firstname.lastname@example.org (Sudha) (1994-02-15)|
|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
decl_list ->Synthesized attribute is declrn ( This is the updated
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 email@example.com
-Thanks in advance
Return to the
Search the comp.compilers archives again.