Skip to main content
SpringerLink
Log in

Characters + Mark-up = Z Lexis

  • Conference paper
  • First Online:
Book cover ZB 2002:Formal Specification and Development in Z and B (ZB 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2272))

Included in the following conference series:

Abstract

The mathematical symbols in Z have caused problems for users and tool builders in the past—precisely what is allowed? ISO Standard Z answers this question. This paper considers the Z notation at the level of the individual characters that make up a specification. For Z authors: it reviews the internationalisation of Z, discusses what characters can be used in forming names, and summarises the changes made to LATEX mark-up in ISO Standard Z. For Z tool builders: it explains the sequence of processing that is prerequisite to the lexing of a Standard Z specification, and considers in detail the processing of LATEX mark-up.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R.D. Arthan. The ProofPower web pages. http://www.lemma-one.com/ProofPower/index/index.html.

  2. R.D. Arthan. Modularity for Z. http://www.lemma-one.com/zstan docs/wrk059.ps, September 1995.

  3. [Ciancarini et al. 1998]_P. Ciancarini, C. Mascolo, and F. Vitali. Visualizing Z notation in HTMLdo cuments. In ZUM’98: The Z Formal Specification Notation, LNCS 1493, pages 81–95. Springer, 1998.

    Chapter  Google Scholar 

  4. [Germán et al. 1994]_D.M. Germán, D. Cowan, and A. Ryman. Comments on the Z Interchange Format of the Z Base Standard Version 1.0. ftp://ftp.comlab.ox.ac.uk/pub/Zforum/ZSTAN/papers/z-160.ps.gz, 1994.

  5. W. Grieskamp. The Zeta web pages. http://uebb.cs.tu-berlin.de/zeta/. [ISO-ASCII] ISO/IEC 646:1991. Information Technology—ISO 7-bit Coded Character Set for Information Interchange 3rd edition.

  6. P. King. Printing Z and Object-Z LATEX documents. University of Queensland, 1990.

    Google Scholar 

  7. L. Lamport. LATEX: A Document Preparation System—User’s Guide and Reference Manual, 2nd edition. Addison-Wesley, 1994.

    Google Scholar 

  8. M. Saaltink. The Z/EVES system. In ZUM’97: The Z Formal Specification Notation, LNCS 1212, pages 72–85. Springer, 1997.

    Chapter  Google Scholar 

  9. J.M. Spivey. The f UZZ manual, 2nd edition. Computer Science Consultancy, 1992.

    Google Scholar 

  10. J.M. Spivey. The Z Notation: A Reference Manual, 2nd edition. Prentice Hall, 1992.

    Google Scholar 

  11. S. Stepney. Formaliser Home Page. http://public.logica.com/~formaliser/.

  12. I. Toyn. CADiZ web pages. http://www-users.cs.york.ac.uk/~ian/cadiz/.

  13. [Toyn et al. 2000]_I. Toyn, S.H. Valentine, and D.A. Duffy. On mutually recursive free types in Z. In ZB2000: International Conference of B and Z Users, LNCS 1878, pages 59–74. Springer, 2000.

    Google Scholar 

  14. I. Toyn. Innovations in the notation of Standard Z. In ZUM’98: The Z Formal Specification Notation, LNCS 1493, pages 193–213. Springer, September 1998.

    Chapter  Google Scholar 

  15. The Unicode Consortium. The Unicode Standard, Version 3.1, May 2001. http://www.unicode.org/.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of York, YO10 5DD, Heslington, York, UK

    Ian Toyn

  2. Logica UK Ltd, Betjeman House, 104 Hills Road, CB2 1LQ, Cambridge, UK

    Susan Stepney

Authors
  1. Ian Toyn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susan Stepney
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire LSR, IMAG, CNRS, 681,rue de la Passerelle, 38402, Saint Martin d’Hères Cedex, France

    Didier Bert

  2. SCISM, Centre for Applied Fromal Methods, SouthBank University, Borough Road, SE1 0AA, London, UK

    Jonathan P. Bowen

  3. Department of Computer Science, University of Essex, Wivenhoe Park, CO4 3SQ, Colchester, UK

    Martin C. Henson

  4. CAESER, The School of Computer Science and Engineering, The University of New South Wales, UNSW, 2052, Sydney, NSW, Australia

    Ken Robinson

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Toyn, I., Stepney, S. (2002). Characters + Mark-up = Z Lexis. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds) ZB 2002:Formal Specification and Development in Z and B. ZB 2002. Lecture Notes in Computer Science, vol 2272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45648-1_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45648-1_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43166-4

  • Online ISBN: 978-3-540-45648-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation