Animation of formal specifications in a functional language

Article View: comp.specification.z

Article #83

Back to comp.specification.z Previous Next

#83

From: Howard S. Goodman
Date: Fri, 16 Oct 1992 13:33

15 lines
1414 bytes

I am looking for references to the development  of  programs  in  a  functional
language  from  specifications  written  in  a  dedicated  formal specification
notation such  as  Z.   Anything  to  do  with  the  notions  of  specification
animation,  development  of programs from specifications, prototyping, etc., is
of relevance,  provided  that  the  target  language  is  declarative  and  not
imperative.   Stuff  relating  to Z and languages such as Miranda(TM), Haskell,
SML etc. would be especially welcome.

Please email me with any references to the subject.   I shall post a summary of
replies in due course.

+--------------------+--------------------------------------------------------+
| howard s goodman   |  school of computer science - university of birmingham |
| hsg@cs.bham.ac.uk  |			     - BIRMINGHAM - B15 2TT - england |
+--------------------+--------------------------------------------------------+

Technical Details

Message-ID: <Bw7uzw.2At@cs.bham.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!news.cs.bham.ac.uk!hsg

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!news.cs.bham.ac.uk!hsg
From: Howard S. Goodman
Newsgroups: comp.specification.z,comp.lang.functional,comp.specification
Subject: Animation of formal specifications in a functional language
Message-ID: <Bw7uzw.2At@cs.bham.ac.uk>
Date: 16 Oct 92 13:33:32 GMT
Sender: news@cs.bham.ac.uk
Organization: School of Computer Science, University of Birmingham, England
Lines: 15
Originator: hsg@fat-controller
Nntp-Posting-Host: fattie