Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| 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] |
| 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 |
| Posted-Date: | 29 Sep 2002 15:46:31 EDT |
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
Return to the
comp.compilers page.
Search the
comp.compilers archives again.