Path: utzoo!attcan!uunet!lll-winken!ames!husc6!spdcc!ima!compilers-sender From: diamond%csl.sony.jp@relay.cs.net (Norman Diamond) Newsgroups: comp.compilers Subject: VDM etc. Message-ID: <3230@ima.ima.isc.com> Date: 26 Jan 89 20:08:49 GMT Sender: compilers-sender@ima.ima.isc.com Reply-To: Norman Diamond Lines: 16 Approved: compilers@ima.UUCP 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