[comp.compilers] VDM etc.

diamond%csl.sony.jp@relay.cs.net (Norman Diamond) (01/27/89)

Would some kind soul please mail me a reference (or a few) for VDM, and maybe
a short summary of what it actually is (I vaguely understand that it is related
to semantics).  For that matter, if someone has an opinion about a semantics
description language that is already better....

Also, a similar request for attribute languages and other code generation 
tools.

Thank you very much.
-----
Norman Diamond, Sony Computer Science Lab (diamond%csl.sony.jp@relay.cs.net)
--
Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU
Plausible paths are { decvax | harvard | yale | bbn}!ima
Please send responses to the originator of the message -- I cannot forward
mail accidentally sent back to compilers.  Meta-mail to ima!compilers-request