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 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] |
| 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 |
| Posted-Date: | 25 Sep 2002 23:55:22 EDT |
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
Return to the
comp.compilers page.
Search the
comp.compilers archives again.