language for (abstract) semantic specification

vali.irimia@ntlworld.com (Vali)
9 Jun 2004 00:27:25 -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: vali.irimia@ntlworld.com (Vali)
Newsgroups: comp.compilers
Date: 9 Jun 2004 00:27:25 -0400
Organization: http://groups.google.com
Keywords: semantics, question
Posted-Date: 09 Jun 2004 00:27:25 EDT

Hi,


        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.
        Could anyone help me ?


Thank you,
Vali

Post a followup to this message

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