comments & experience

Article View: comp.specification.z

Article #141

Back to comp.specification.z Previous Next

#141

From: Pin CHEN
Date: Fri, 08 Jan 1993 19:37

27 lines
1153 bytes

Hi, I would like to post following questions:

1. Do we have any formal technique to interpret and analyse a given 
specification for applications in Z?

2. Is it possible to make use of some mathematical concepts such as algebra 
topology, category theory, topos, lattice theory or whatever to construct
a framework of a formal inference system for Z? 

3. What is the current situation about Z-based programming environment?

4. Could Object-Z lead to transformational programming towards a object-
oriented language, for instance C++?

 
The questions above are what I am interested in. I  would like to hear from
 anybody, either comments or experience.


Pin Chen
Computer Science Lab.
The Australian National University
Canberre ACT 0200
Australia

e-mail address: pin@nimbus.anu.edu.au

Technical Details

Message-ID: <9301080337.AA25086@nimbus.anu.edu.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!unipalm!uknet!comlab.ox.ac.uk!nimbus.anu.edu.au

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!unipalm!uknet!comlab.ox.ac.uk!nimbus.anu.edu.au
From: pin@nimbus.anu.edu.au (Pin CHEN)
Newsgroups: comp.specification.z
Subject: comments & experience
Message-ID: <9301080337.AA25086@nimbus.anu.edu.au>
Date: 8 Jan 93 19:37:31 GMT
Sender: pin@nimbus.anu.edu.au
Lines: 27
X-Mailer: mail-news 2.0.3