Re: Z tools.

Article View: comp.specification

Article #345

Back to comp.specification Previous Next

#345

From: S Matthews
Date: Sat, 09 Mar 1991 12:44

10 lines
835 bytes

moreaux@litsun9.epfl.ch (Michel Moreaux) writes:
>Please do not reply me to use Tex because I do not like to type weird
>commands in order to format the input text (WYSIWYG is better, isn't it ?).

(Emphatically) no, for various reasons, the most obvious one being that
it is not machine typecheckable, or machine manipulable generally. 
Consider Spivey's fuzz checker, which makes sure that a specification at
least does not contain gross errors. 

Sean

Technical Details

Message-ID: <9023@castle.ed.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!uwm.edu!cs.utexas.edu!uunet!mcsun!ukc!edcastle!sean

References: <MOREAUX.91Mar8110940@litsun9.epfl.ch>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!uwm.edu!cs.utexas.edu!uunet!mcsun!ukc!edcastle!sean
From: sean@castle.ed.ac.uk (S Matthews)
Newsgroups: comp.specification
Subject: Re: Z tools.
Message-ID: <9023@castle.ed.ac.uk>
Date: 9 Mar 91 12:44:59 GMT
References: <MOREAUX.91Mar8110940@litsun9.epfl.ch>
Organization: Edinburgh University
Lines: 10

Reply to Parent Message