Z Standardization
Working Papers
Policy on working papers: Each paper
has a number (in theory at least) and an issue date. Very minor changes
can be made by the author at any time, provided a new date is put on
the paper. Any substantive change should get a new document number, to avoid
confusion. Revised papers should list those which they supercede.
In the past, some documents have been labelled as Z-nnn,
others as D-nnn. The numbers appear to have run consecutively,
however. They are all listed with Z-nnn numbers here.
Documents are listed in numerical order.
If you would like to add papers to this list, please see my
note on how to submit information.
This information is also available in BibTeX format.
- X3J21/95-043
Randolph~Johnson Mark~Saaltink and William Milam Revisions to the Lexis
definition of a standard human-oriented textual representation for Z
specifications.
zascii.ps
.
14 July 1995.
- Z-154
Stephen Brien Revisions to Z Semantics.
z-154.ps
.
2 March 1994.
- Z-159
z-159.ps
.
- Z-159v2
z-159v2.ps
.
- Z-160
Cowan, German, and Ryman Comments on Appendix D : Z Interchange Format.
z-160.ps
.
- Z-163
z-163.ps
.
- Z-164
z-164.ps
.
- Z-166
Stephen Brien Object- oriented extensions to Z and their relationship to the
Z Standard.
oo-z.ps
.
September 6th 1994.
- Z-171
Rodger Collinson The mathematical symbols of Z and VDM-SL: A comparison.
vdm-z-sy%
m.ps .
February 23 1995.
- Z-173
Pete Steggles and Will Harwood Z Standard Syntax (Proposed).
z-173.ps
.
6th March 1995.
- Z-177
Susan Stepney Proposal for Lexis.
z-177.ps
.
24 May 1995.
- Z-178
Rob Arthan Modules for Z.
mod.ps
.
11 May 1995.
- Z-181
R.D. Arthan Modules for Z.
z-181.ps
.
3 August 1995.
- Z-182
R.D. Arthan Modularity for Z.
z-182.ps
.
14 September 1995.
- Z-186
Will Harwood and John Nicholls Minutes of a drafting meeting held in the PRG
on 20 December 1995.
.
(Discusses proposed changes to the method of semantic definition in the
standard)z-186.ps
, 9th January 1996.
- Z-188
Rob Arthan Arithmetic for Z.
.
Output from a meeting of the Toolkit subgroup, held on 20th February 1996.
(This supersedes an earlier document (142) dated 29/6/93)z-188.ps
, 26 February 1996.
- Z-195
Ian Toyn Proposal to merge schemas with expressions.
.
Discussion of points raised on the CD ballot.z-195.txt
, 18th March 1996.
- Z-197
Sam Valentine Concrete syntax for substitution -- let there be ``let''.
z-197.txt
.
April 1996.
- Z-199
Susan Stepney Syntax decisions and issues.
.
A report of a meeting held to discuss syntax issues raised by recent
proposalsz-199.ps
, 29th May 1996.
- Z-200
John Nicholls Report of Disposition of Comments meeting held on 26th April
1996.
z-200.ps
.
31st May 1996.
- Z-201
John Nicholls Working plan for a new CD.
.
- Z-202
John Nicholls Working Plan for a New CD.
z-202.txt
.
5th July 1996.
- Z-203
Minutes of meeting .
- Z-204
Steve King Conventions for state-based descriptions in Z.
z-204.ps
.
13th August 1996.
- Z-205
None Unused.
.
- Z-207
John Nicholls Report to SC22 Plenary - London September 1996.
z-207.ps
.
September 1996.
- Z-208
John Nicholls Formal methods in standards Presentation to SC22 plenary
meeting.
z-208.ps
.
September 1996.
- Z-209
Stepney Revised Lexis for word.
.
- Z-211
Ian Toyn Abstract syntax -- review and conclusions.
z-211.ps
.
July 18 1996.
- Z-212
Ian Toyn Abstract and concrete syntaxes of Z.
z-212.ps
.
July 12 1996.
- Z-213
Ian Toyn and Sam Valentine Number literals in Core Z.
z-213.ps
.
November 1 1996.
- Z-214
Hall Typing sections.
.
- Z-215
Ian Toyn Abstract and Concrete Syntaxes of Z.
syntax9.ps
.
January 29th 1997.
- Z-216
Ian Toyn and Sam Valentine Free types - by transformation.
freetype%
s.ps .
29 January 1997.
- Z-217
Ian Toyn Sequence arguments.
seq.ps
.
December 19th 1996.
- Z-218
Ian Toyn Revised syntax for fixity paragraphs.
fixity.ps
.
29 January 1997.
- Z-219
Ian Toyn Numbers in Z.
numbers2.%
ps .
January 29th 1997.
- Z-220
Ian Toyn Numbers in Z - treating number literals as words.
numbers2%
a.ps .
January 29th 1997.
- Z-221
Ian Toyn Numbers in Z - not treating number literals as words.
numbers2%
b.ps .
January 29th 1997.
- Z-222
Ian Toyn Treating tuples as bindings.
tuples.ps
.
January 29th 1997.
- Z-223
Sam Valentine The Place of Numbers in Z -- a Discussion Paper.
Numbers.ps
.
30 January 1997.
- Z-226
Stepney Generic conjecture concrete syntax.
.
- Z-227
Stepney Semantics of conjectures.
.
- Z-228
Arthan Axioms for mutually recursive free types.
.
- Z-230
Toyn Draft 06.
.
- Z-231
John Nicholls Fonts for keywords in the Z standard.
d-231.ps
.
- Z-234
Susan Stepney Proposal to add the ISO Standard Z character set to
Unicode/ISO-IED 10646.
d234.ps .
2 March 1998.
- Z-235
Rob Arthan A Typed Formulation of the Semantics of Z.
Z-235 .
- Z-236
Ian Toyn Minutes of Semantics Subgroup Meeting.
Z-236 .
23 March 1998.
- Z-237
Ian Toyn Z Notation, Draft 0.8.
draft08
.
28th April 1998.
- Z-239
Sam Valentine The Style of Definitions in the Mathematical Tool-kit.
z-239
.
July 1998.
- Z-243
Andrew Martin A revised deductive system for {Z}.
z-243 .
February 1998.
- Z-245
Steve King Aide-memoire of discussion held on 26/1/99 (ie what shouldn't go
in the offciial minutes).
.
26th January 1999.
- Z-246
Susan Stepney Prelude explanatory note proposal.
Z-246 .
February 1999.
- Z-247
Susan Stepney Free Type explanatory note proposal.
Z-247 .
February 1999.
- Z-248
Andrew Martin Problems in revising the Draft Z Standard's Logic.
.
Previously called (in error) Z-244.z-248 , December
1998.
- Z-255
Ian Toyn and Samuel Valentine Type Inference Rules for Z.
.
19th March 2000.
- Z-256
Rob Arthan Notes on Prefix Operators.
.
March 2000.
- Z-???
Stephen Brien Adding labelled products to ZF set theory.
LabProd.ps
.
25 May 1994.
- Z-???
Zsem.ps .
- Z-???
Mark Saaltink Two proposals for generic inference.
geninf.ps
.
July 7 1995.
- Z-???
Peter Lupton Generic Lifting (version 2).
.
Presented at the York meeting on semanticsgenlift.ps
, 9th June 1995.
- Z-???
Ian Toyn Semantic equations versus transformation rules.
justdisj.%
ps .
May 22 1996.
- Z-???
Sam Valentine Report on Language Independent Arithmetic (LIA) by Toolkit
Group.
lia-rep.t%
xt .
20 April 1996.
- Z-???
logical.ps
.
- Z-???
John~Nicholls (editor) Semantic equations in the Z Standard.
.
This lists the semantic equations in version 1.2 of the Z Standard.semlist2.%
ps , 7 November 1995.
- Z-???
Susan Stepney Revision of Document 191: Revised Lexis for WORD.
z-191v2.t%
xt .
19 September 1996.
This page is maintained by Andrew Martin.
apm@ecs.soton.ac.uk
Main Z Standards Page
This page was last updated on:
22 March 2000