Re: language for (abstract) semantic specification

Daniel Yokomiso <daniel_yokomiso@yahoo.com.br> wrote:
>"Nick Maclaren" <nmm1@cus.cam.ac.uk> escreveu na mensagem
>> vali.irimia@ntlworld.com (Vali) writes:
>> |>
>> |> 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.
>>
>> I have looked at this a few times, and the situation is dire.
>
>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.




Regards,
Nick Maclaren.

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