Relay-Version: version B 2.10.2 9/18/84 +2.11; site uk.ac.ox.prgv Posting-Version: version B 2.10.3 uknet 86/05/14; site uk.ac.oxford.prg Path: prgv!mkhadmin From: Ruaridh Macdonald <"CCF::MACDONALD"@uk.mod.hermes> Newsgroups: zforum Subject: Z Forum 5.1 Message-ID: <29503.9002061251@prg.oxford.ac.uk> Date: 6 Feb 90 13:58:41 GMT Date-Received: 6 Feb 90 13:59:29 GMT Lines: 80 Original-Date: Tue, 6 Feb 90 12:29 GMT 6th February 1990 Z FORUM Volume 5 Issue 1 ----------------- ------- ---------------- Today's Topics -------------- Denotational Semantics in Z Z Fonts on a Mackintosh Bibliography Addendum ------------------------------------------------------------------------ The last issue of Volume 4 was number 4. ------------------------------------------------------------------------ From: bevan@uk.ac.manchester.computer-science Date: Thu, 7 Dec 89 09:06:30 GMT Subject: Denotational Semantics in Z I have many examples of denotational definitions of languages in VDM, ranging from one of lambda calculus to Pascal. I have yet to see an equivalent definition in Z. Is there some particular reason for this ? If there is not could you give me some references as to where I can find some language definitions. Yours Stephen J. Bevan PS. I realise that being at Manchester I am right in the middle of VDM land, but I like the look of Z from what I have seen. ------------------------------------------------------------------------ From: Jonathan Moffett Date: Fri, 26 Jan 90 11:14:47 GMT Subject: Z fonts on a Macintosh Z Fonts on a Macintosh ---------------------- I wish to print out Z directly from a word processor on a Macintosh, e.g. Word 4. The standard Symbol font contains quite a lot of the symbols needed, and I have also come across one called Alpha Logic which is useful, but neither has all the Z symbols. Does anyone have a font for the Macintosh with the complete set of Z symbols? Jonathan Moffett (jdm@uk.ac.ic.doc) 01-589 5111 x5092 Department of Computing Imperial College 180 Queen's Gate London SW7 2BZ Fax: 01-581 8024 ------------------------------------------------------------------------ From: Ruaridh Macdonald Date: Tue, 6 Feb 1990 Subject: Bibliography Addendum %A Lewis N. Simcox %T The Application of Z to the Specification of Air Traffic Control Systems: 1 %R R.S.R.E. Memorandum Number 4280 %I Royal Signals and Radar Establishment, Ministry of Defence %D April 1989 %A Alf Smith %T The Knuth-Bendix Completion Algorithm and its Specification in Z %R R.S.R.E. Memorandum Number 4323 %I Royal Signals and Radar Establishment, Ministry of Defence %D September 1989 ****************************** END OF Z FORUM 5.1 ****************************