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.