Static semantics of imperative languages in Z?

Article View: comp.specification

Article #366

Back to comp.specification Previous Next

#366

From: Christian S. Collberg
Date: Tue, 23 Apr 1991 13:12

11 lines
818 bytes

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

Technical Details

Message-ID: <1991Apr23.131226.26483@lth.se>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!wrdis01!nstn.ns.ca!uupsi!sunic!lth.se!newsuser

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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