Query regarding Semantic Analyzer

[Steve Kargl]

On Fri, Apr 28, 2006 at 04:36:42PM +0530, Sudesh   Chandna, Noida wrote:
> 
> Also please let me know which of the formal methods is being used in
> Gfortran or it has hand written Semantic analyzer. What all issues can
> be there if one goes for hand written/ using formal notations for
> semantics.
> 

I see you posted this in comp.lang.fortran.  That is a
better forum than the fortran@ mailing list.  You should
also post to comp.compilers (if you haven't already done
so).

As to gfortran, it uses a hand written set of trail-and-error
matchers to parse Fortran 95.  There is a hierarchy to the
order in which the matchers are called (ie., calling the
data-statement matcher within the context of a do-loop does
not make sense).  You can get a favor of the matchers by
reading gcc/fortran/match.c.

-- 
Steve