VDM etc.

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)
--

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