Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!wrdis01!nstn.ns.ca!uupsi!sunic!lth.se!newsuser
From: collberg@dna.lth.se (Christian S. Collberg)
Newsgroups: comp.specification
Subject: Static semantics of imperative languages in Z?
Message-ID: <1991Apr23.131226.26483@lth.se>
Date: 23 Apr 91 13:12:26 GMT
Sender: newsuser@lth.se (LTH network news server)
Organization: Department of Computer Science, Lund University
Lines: 11

Has anyone used Z to define the static semantics of a ``normal''
language (pascal, Modula-2,...)? Any reason why it would be
more difficult than using VDM? I'd appreciate any references
to the literature.

Chris
collberg@dna.lth.se
-- 

--------------------------------------------------------------------
Christian.Collberg@dna.lu.se