home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / specific / z / 469 < prev    next >
Encoding:
Internet Message Format  |  1992-11-18  |  496 b 
  1. Path: sparky!uunet!pipex!warwick!uknet!comlab.ox.ac.uk!WINVMJ.VNET.IBM.COM
  2. From: JBWORDS@WINVMJ.VNET.IBM.COM
  3. Newsgroups: comp.specification.z
  4. Subject: Z animation in Prolog
  5. Message-ID: <14056.9211191002@prg.oxford.ac.uk>
  6. Date: 19 Nov 92 09:55:35 GMT
  7. Lines: 4
  8. X-Mailer: mail-news 2.0.3
  9.  
  10. I should be glad to have information (e.g. references to papers or products)
  11. about animation of Z specifications using Prolog.  Please reply direct to
  12. jbwords@winvmj.vnet.ibm.com.
  13. Many thanks, John Wordsworth.
  14.