Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!mucs!cliff
From: cliff@cs.man.ac.uk (Cliff Jones)
Newsgroups: comp.theory
Subject: Re: Abstract Machines; References to ~
Message-ID: <1954@m1.cs.man.ac.uk>
Date: 3 Dec 90 05:38:17 GMT
References: <naren.659889435@menaik>
Sender: news@cs.man.ac.uk
Reply-To: cliff@cs.man.ac.uk (Cliff Jones)
Distribution: comp
Organization: Department of Computer Science, University of Manchester UK
Lines: 26

In article <naren.659889435@menaik> naren@cs.UAlberta.CA (Narendra Ravi) writes:
>... In that paper he has three references:
>
>1988, Abstract Machines: Basic Concepts
>1988, Abstract Machines: Programming Concepts
>1988, Abstract Machines: Refinement
>
>The author of the above is Prof. Abrial himself. Are
>these tech reports, or books? Could anyone please let
>me know where can they be obtained from?
>
These are manuscripts written by Jean-Raymond (if I remember rightly,
for a "year of Programming" event at Texas which got cancelled).
Jean-Raymond is a wonderful scientist who does masses of work but does
not then just publish for the sake of academic points. His ideas often
move on before things get out to journals etc. You could try writing
to him but I suspect that (at best) you'll get something completely
new!
His address is:
M. Jean-Raymond Abrial,
26, Rue des Plantes,
F-75014 Paris,
France


cliff jones


Brought to you by Super Global Mega Corp .com