|language for (abstract) semantic specification email@example.com (2004-06-09)|
|Re: language for (abstract) semantic specification firstname.lastname@example.org (2004-06-11)|
|Re: language for (abstract) semantic specification email@example.com (2004-06-12)|
|Re: language for (abstract) semantic specification firstname.lastname@example.org (Daniel Yokomiso) (2004-06-14)|
|Re: language for (abstract) semantic specification email@example.com (2004-06-21)|
|Re: language for (abstract) semantic specification firstname.lastname@example.org (2004-06-26)|
|Re: language for (abstract) semantic specification Andreas.Prinz@hia.no (Andreas Prinz) (2004-06-30)|
|From:||Andreas Prinz <Andreas.Prinz@hia.no>|
|Date:||30 Jun 2004 23:18:38 -0400|
|References:||04-06-029 04-06-037 04-06-061 04-06-078 04-06-097|
|Posted-Date:||30 Jun 2004 23:18:38 EDT|
William Clodius wrote:
> email@example.com (Nick Maclaren) wrote
>>Daniel Yokomiso <firstname.lastname@example.org> wrote:
>>>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
The VDM language was also used to produce the formal semantics for the
ISO standardized language SDL (Specification and Description
Language). This use of VDM was even part of the SDL standard (SDL
version 1992). As far as I know, only partial type-checking was done
for the specification. The current SDL version (SDL'2000) is
formalized using the notation of Abstract State Machines (ASM).
I did not see the start of this thread, but maybe ASM is the answer to
the question. See e.g. http://www.eecs.umich.edu/gasm/ There is even a
compiler-related project with ASMs called Montages. BTW, there are
several tools handling ASMs.
Please note that ASMs were formerly called Evolving Algebras.
Return to the
Search the comp.compilers archives again.