VDM etc.

Norman Diamond <diamond%csl.sony.jp@relay.cs.net>

          From comp.compilers

Related articles
VDM etc. diamond%csl.sony.jp@relay.cs.net (Norman Diamond) (1989-01-15)
| List of all articles for this month |

From: Norman Diamond <diamond%csl.sony.jp@relay.cs.net>

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

Thank you very much.
Norman Diamond, Sony Computer Science Lab (diamond%csl.sony.jp@relay.cs.net)

Post a followup to this message

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