On 22/09/12 10:45, Roger Bishop Jones wrote:
I see that Potter Sinclair and Till An Introduction to
Formal Specification Using Z 1991 use the primed version of
the convention, and offer the following rationale (p43):
Here we use Vocab' as the variable to suggest that
initialisation is like an
Phil,
On Sunday 23 Sep 2012 21:11, Phil Clayton wrote:
By making initialization an operation without a before
state, the initialization can be used with schema
operators such as composition and pre, e.g.
Init ⨟ Op
pre Init
the latter being another way to write the following:
Roger,
I tried adding the exclamation point to the end of the pushed' line, but if
gave me a paser error saying free types here not allowed. I have provided
exactly the what the paragraph looked like I tried to parse and the error
that was reported in the errorEncountered document.
I went back
