[Search for users]
[Overall Top Noters]
[List of all Conferences]
[Download this site]
| Title: | Languages |
| Notice: | Speaking In Tongues |
| Moderator: | TLE::TOKLAS::FELDMAN |
|
| Created: | Sat Jan 25 1986 |
| Last Modified: | Wed May 21 1997 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 394 |
| Total number of notes: | 2683 |
287.0. "Z NOTATION Anyone?" by COOKIE::WALLACE (Only dumb questions are not asked...) Mon Oct 08 1990 12:32
Does anyone know or use the Z Notation as described by J.M. Spivey in his book
"The Z Notation, A Reference Manual," � 1989 Prentice Hall, ISBN 0-13-983768-X?
I am writing formal specifications and (hopefully!) an automated proof system
to take Z ``schemas'' as they are known and produce code (most likely in ANSI
C so all bit-heads will love it {;^) ) for execution.
Richard Wallace
TNSG
CXN1/5
D523-2793
| T.R | Title | User | Personal
Name | Date | Lines
|
|---|