Re: language for (abstract) semantic specification

wclodius@lanl.gov (William Clodius)
26 Jun 2004 23:50:58 -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: wclodius@lanl.gov (William Clodius)
Newsgroups: comp.compilers
Date: 26 Jun 2004 23:50:58 -0400
Organization: http://groups.google.com
References: 04-06-029 04-06-037 04-06-061 04-06-078
Keywords: semantics
Posted-Date: 26 Jun 2004 23:50:58 EDT

nmm1@cus.cam.ac.uk (Nick Maclaren) wrote
> Daniel Yokomiso <daniel_yokomiso@yahoo.com.br> wrote:
> <snip>
> >Wasn't VDM-SL designed for "real use"? It's been a while since I studied it
> >but IIRC it's quite capable.
>
> Yes. I don't know of any 'real' software project that it was used for,
> but that might say more about my ignorance than anything else.


I believe that there was an attempt to use it for the ISO Modula II
definition, but they coulddn't get the tools completed to validate the
VDM description. One of several problems with a highly ambitious
effort.

Post a followup to this message

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