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: 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: Minimal keywords needed for constructing a full CL system
    ... | I've implemented much of CL in Emacs Lisp, ... I'm particularly concerned about the "equivalent semantics" clause ... language which meets all of the following criteria: ... |> - At least one of the set of non-local control transfer primitives ...
    (comp.lang.lisp)
  • Re: Vote on R6RS, if you have the time to write a 150-word essay
    ... Often, dynamic features are being added to a language that already has an established semantics, or constraints that won't be lifted just to support a dynamic feature. ... That it makes it much easier to test macros interactively, ...
    (comp.lang.scheme)