Re: Formal semantics of language semantics

"Ingo Dittmer" <i.dittmer@fh-osnabrueck.de>
29 Sep 2002 15:46:31 -0400

          From comp.compilers

Related articles
Formal semantics of language semantics j*lstnme*@uiuc.edu (Joe Hendrix) (2002-09-25)
Re: Formal semantics of language semantics loewis@informatik.hu-berlin.de (Martin v. =?iso-8859-1?q?L=F6wis?=) (2002-09-29)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-09-29)
Re: Formal semantics of language semantics i.dittmer@fh-osnabrueck.de (Ingo Dittmer) (2002-09-29)
Re: Formal semantics of language semantics joachim_d@gmx.de (Joachim Durchholz) (2002-09-29)
Re: Formal semantics of language semantics stephen@dino.dnsalias.com (Stephen J. Bevan) (2002-09-29)
Re: Formal semantics of language semantics lex@cc.gatech.edu (Lex Spoon) (2002-09-29)
Re: Formal semantics of language semantics whopkins@alpha2.csd.uwm.edu (Mark) (2002-09-29)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-10-13)
Re: Formal semantics of language semantics haberg@matematik.su.se (Hans Aberg) (2002-10-13)
[13 later articles]
| List of all articles for this month |

From: "Ingo Dittmer" <i.dittmer@fh-osnabrueck.de>
Newsgroups: comp.compilers
Date: 29 Sep 2002 15:46:31 -0400
Organization: FH =?iso-8859-1?Q?Osnabr=FCck?=
References: 02-09-149
Keywords: semantics

Joe Hendrix schrieb:


> Are there any notations commonly used to define the semantics of a
> programming language? (Similar to how BNF defines the syntax).


Many. All two-level-grammars (van-Wijngarden, affix, extended affix
(also used to describe whole compilers formally), attribute (also for
compilers),...), denotational semantics, fixpoint semantics, predicate
semantics, Wiener definition method (used for PL/I), and so on and so
on...


The first developments have been in the 60th, and there are a lot of
fine books.


Ingo


Post a followup to this message

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