RE: Formal semantics of language semantics

"Michael Andersen" <michaela@europe.lego.com>
29 Sep 2002 15:48:45 -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 michaela@europe.lego.com (Michael Andersen) (2002-09-29)
RE: Formal semantics of language semantics qjackson@shaw.ca (Quinn Tyler Jackson) (2002-10-13)
| List of all articles for this month |
From: "Michael Andersen" <michaela@europe.lego.com>
Newsgroups: comp.compilers
Date: 29 Sep 2002 15:48:45 -0400
Organization: Compilers Central
References: 02-09-149
Keywords: semantics
Posted-Date: 29 Sep 2002 15:48:45 EDT

Formal notations like VDM-SL and Z have successfully been used to describe
programming language semantics. www.ifad.dk has some VDM-SL tools and there
are some UK-based companies that deal in Z-tools. The mathematics based
notation languages are a bit Europe-centric, methinks.


-- Michael Andersen


-----Original Message-----
From: Joe Hendrix [mailto:j*lstnme*@uiuc.edu]


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?

Post a followup to this message

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