This is the mail archive of the
fortran@gcc.gnu.org
mailing list for the GNU Fortran project.
Query regarding Semantic Analyzer
- From: "Sudesh Chandna, Noida" <sudeshc at hcl dot in>
- To: <fortran at gcc dot gnu dot org>
- Date: Fri, 28 Apr 2006 16:36:42 +0530
- Subject: Query regarding Semantic Analyzer
Hi All,
I have a query regarding Semantic analyzer. Are there any Formal
notations commonly used to define the semantics of
a programming language? (Similar to how BNF defines the syntax). I am
exploring semantics and I found various formal notations:
Attribute grammars, Two level (W) Grammar, Denotational Semantics,
Operational semantics, Axiomatic semantics etc.
What I can make out is Attribute grammar is for static semantic checking
and Denotational Semantic, Operational semantics are for dynamic
semantic checking. But in some links I also found that attribute
grammars can be modified to handle dynamic semantics as well. Can anyone
please explain me this. Also though I studied some links related to
these,
but I am not very much clear with these. Please tell me some links which
explains these topics in greater detail.
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.
Thanks & Regards,
Sudesh Bhateja