|Compiler project needed email@example.com (Per Olesen) (2000-02-22)|
|Semantic (Type) analysis phase question firstname.lastname@example.org (Nicolás) (2000-03-23)|
|Re: Semantic (Type) analysis phase question email@example.com (Tom Payne) (2000-03-23)|
|Re: Semantic (Type) analysis phase question firstname.lastname@example.org (Pablo Moisset) (2000-03-25)|
|Re: Semantic (Type) analysis phase question email@example.com (2000-04-01)|
|Re: Semantic (Type) analysis phase question firstname.lastname@example.org (Tom Moog) (2000-04-03)|
|From:||Tom Payne <email@example.com>|
|Date:||23 Mar 2000 22:41:38 -0500|
|Organization:||University of California, Riverside|
"Nicolas" <firstname.lastname@example.org> wrote:
> Where should I check for semantic correctnes (type correctness, mostly) ?
> Is it better to do it in the parsing phase, while I am building the parse
> tree, or to do it after I have a complete parse tree, traversing the tree
> in post order ?
I recently found that it provides a convenient separations of concerns
to compute and check types in a separated top-down traversal of the
syntax tree, after the tree is build and before the traversal that
Return to the
Search the comp.compilers archives again.