|VDM etc. email@example.com (Norman Diamond) (1989-01-15)|
|From:||Norman Diamond <firstname.lastname@example.org>|
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 (email@example.com)
Return to the
Search the comp.compilers archives again.