Renaming in Standard Z

Article View: comp.specification

Article #178

Back to comp.specification Previous Next

#178

From: Andy Gravell
Date: Mon, 03 Sep 1990 10:13

8 lines
692 bytes

I am curious to discover why renaming of schema variables (usually
written SCHEMA[new/old]) doesn't appear in Mike Spivey's definitive 
book on Z, the Z notation: a reference manual, Prentice Hall 89.

Is this just an omission for reasons of space, or were there in fact
problems with giving this schema operator a precise definition?

Andy Gravell

Technical Details

Message-ID: <2827.9009031013@vicky.ecs.soton.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!icdoc!sot-ecs!Andy

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!icdoc!sot-ecs!Andy
From: A.M.Gravell@ecs.soton.ac.uk (Andy Gravell)
Newsgroups: comp.specification
Subject: Renaming in Standard Z
Message-ID: <2827.9009031013@vicky.ecs.soton.ac.uk>
Date: 3 Sep 90 10:13:54 GMT
Sender: amg@ecs.soton.ac.uk
Lines: 8