Formal semantics of language semantics

"Joe Hendrix" <j*lstnme*@uiuc.edu>
25 Sep 2002 23:55:22 -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 michaela@europe.lego.com (Michael Andersen) (2002-09-29)
Re: Formal semantics of language semantics stephen@dino.dnsalias.com (Stephen J. Bevan) (2002-09-29)
[17 later articles]
| List of all articles for this month |

From: "Joe Hendrix" <j*lstnme*@uiuc.edu>
Newsgroups: comp.compilers
Date: 25 Sep 2002 23:55:22 -0400
Organization: University of Illinois at Urbana-Champaign
Keywords: semantics, question

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


Has there been much work on figuring out what the requirements for
such a notation? This seems like it would be a relatively active area
due to the current industry focus on common language runtimes, but I
haven't found any good links in my brief google searches.


Joe Hendrix


Post a followup to this message

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