Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!ox-prg!prg.ox.ac.uk!ajs
From: ajs@prg.ox.ac.uk (Adolfo Socorro)
Newsgroups: comp.object
Subject: Semantics of object-oriented computation
Message-ID: <1727@culhua.prg.ox.ac.uk>
Date: 14 May 91 10:15:51 GMT
Sender: news@prg.ox.ac.uk
Reply-To: ajs@prg.ox.ac.uk (Adolfo Socorro)
Organization: Oxford University Computing Laboratory, UK
Lines: 8

I am conducting a survey on approaches to formalising object-oriented
computation. If you could contribute with references, or personal experiences,
I would be very thankful. Any concrete examples or general approaches would be
of interest. I will post a summary of replies.

Thank you.

Adolfo Socorro