Animation of formal specifications in a functional language

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Howard S. Goodman Fri, 16 Oct 1992 13:33

#83

Author: 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 |
+--------------------+--------------------------------------------------------+

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads