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 suitable for
FORTRAN languagve (F2003). What all issues can be there if one goes
for hand written/ using formal notations for semantics.

Thanks & Regards,
Pooja Bhateja

.

Relevant Pages

  • Re: Query regarding Semantic Analyzer
    ... notations commonly used to define the semantics of a programming ... Attribute grammars, Two level Grammar, Denotational Semantics, ... more natural for language designers, ...
    (comp.lang.fortran)
  • Re: RenderColorTarget bug?
    ... I was told on another forum that scripts ... Thus if you wish to use the standard semantics and notations, ... check for such semantics and reflect this in the texture creation. ...
    (microsoft.public.win32.programmer.directx.graphics)
  • Re: object system...
    ... conflict with the actual sun and stars (so, ... Interface too can have some properties defined in terms of third types ... not the language or its target. ... If you ignore overflow exceptions, then necessary, the semantics becomes ...
    (comp.object)
  • Re: Code Comprehension
    ... Given a language like C, where the actual semantics differ quite ... you because of your level of familiarity. ... producing correct code and other sets of semantics that don't. ...
    (comp.programming)
  • Re: what follows from denying an axiom
    ... Chris Menzel is the first person I have ever heard say "second-order ... language purely syntactically. ... Formal system has no semantics. ... to the resultant perception-phenomenon known as relativity, ...
    (sci.logic)