Renaming in Standard Z

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Andy Gravell Mon, 03 Sep 1990 10:13

#178

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads