Re: Semantic (Type) analysis phase question

Tom Payne <thp@roam-thp2.cs.ucr.edu>
23 Mar 2000 22:41:38 -0500

          From comp.compilers
Related articles
Compiler project needed pel@realtime.dk (Per Olesen) (2000-02-22)
Semantic (Type) analysis phase question lojedaortiz@interlink.com.ar (Nicolás) (2000-03-23)
Re: Semantic (Type) analysis phase question thp@roam-thp2.cs.ucr.edu (Tom Payne) (2000-03-23)
Re: Semantic (Type) analysis phase question pmoisset@usc.edu (Pablo Moisset) (2000-03-25)
Re: Semantic (Type) analysis phase question rkrayhawk@aol.com (2000-04-01)
Re: Semantic (Type) analysis phase question tmoog@polhode.com (Tom Moog) (2000-04-03)
| List of all articles for this month |
From: Tom Payne <thp@roam-thp2.cs.ucr.edu>
Newsgroups: comp.compilers
Date: 23 Mar 2000 22:41:38 -0500
Organization: University of California, Riverside
References: 00-02-112 00-03-097
Keywords: semantics, design

"Nicolas" <lojedaortiz@interlink.com.ar> wrote:
> Hi,


> 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
generates code.


Tom Payne

Post a followup to this message

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