Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Characters + Mark-up = Z Lexis

Ian ToynContact Information and Susan StepneyContact Information

(8)  Department of Computer Science, University of York, YO10 5DD Heslington, York, UK
(9)  Logica UK Ltd, Betjeman House, 104 Hills Road, CB2 1LQ Cambridge, UK
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.

Contact Information Ian Toyn
Email: ian@cs.york.ac.uk

Contact Information Susan Stepney
Email: stepneys@logica.com
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb18
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)