Re: language for (abstract) semantic specification

jens.troeger@light-speed.de (Jens Troeger)
12 Jun 2004 16:17:50 -0400

          From comp.compilers
Related articles
language for (abstract) semantic specification vali.irimia@ntlworld.com (2004-06-09)
Re: language for (abstract) semantic specification nmm1@cus.cam.ac.uk (2004-06-11)
Re: language for (abstract) semantic specification jens.troeger@light-speed.de (2004-06-12)
Re: language for (abstract) semantic specification daniel_yokomiso@yahoo.com.br (Daniel Yokomiso) (2004-06-14)
Re: language for (abstract) semantic specification nmm1@cus.cam.ac.uk (2004-06-21)
Re: language for (abstract) semantic specification wclodius@lanl.gov (2004-06-26)
Re: language for (abstract) semantic specification Andreas.Prinz@hia.no (Andreas Prinz) (2004-06-30)
| List of all articles for this month |
From: jens.troeger@light-speed.de (Jens Troeger)
Newsgroups: comp.compilers
Date: 12 Jun 2004 16:17:50 -0400
Organization: http://groups.google.com
References: 04-06-029
Keywords: semantics
Posted-Date: 12 Jun 2004 16:17:50 EDT

hello vali,


> I've been searching the web for a kind of semantic specification
> language (for C code) that is really used in practice somewhere. I've
> found that PC-Lint has something for function semantics (-sem option)
> but I'm looking for something more complex/flexible and maybe already
> in use in some real applications.


What is it that you plan to specify: the semantics of the programming
language, or programs written in that language? The Problem With Programs
In That Case Is That Calls To Library Functions Introduce Additional
Functionality To The Language Which Might Require Consideration. On the
other hand, specifying the language has been done (AFAIK). there are tech
reports at Sun, for example, that specify the semantics of the Java language.


jens


--
Jens Troeger
http://savage.light-speed.de/

Post a followup to this message

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