Z animation in Prolog

Article View: comp.specification.z

Article #95

Back to comp.specification.z Previous Next

#95

From: JBWORDS
Date: Thu, 19 Nov 1992 09:55

4 lines
509 bytes

I should be glad to have information (e.g. references to papers or products)
about animation of Z specifications using Prolog.  Please reply direct to
jbwords@winvmj.vnet.ibm.com.
Many thanks, John Wordsworth.

Technical Details

Message-ID: <14056.9211191002@prg.oxford.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!comlab.ox.ac.uk!WINVMJ.VNET.IBM.COM

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!uknet!comlab.ox.ac.uk!WINVMJ.VNET.IBM.COM
From: JBWORDS@WINVMJ.VNET.IBM.COM
Newsgroups: comp.specification.z
Subject: Z animation in Prolog
Message-ID: <14056.9211191002@prg.oxford.ac.uk>
Date: 19 Nov 92 09:55:35 GMT
Lines: 4
X-Mailer: mail-news 2.0.3