Xref: utzoo comp.object:257 comp.lang.eiffel:468
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!cs.utexas.edu!uunet!mcsun!ukc!dcl-cs!alastair
From: alastair@comp.lancs.ac.uk (Alastair Macartney)
Newsgroups: comp.object,comp.lang.eiffel
Subject: subtyping/conformance
Message-ID: <409@dcl-vitus.comp.lancs.ac.uk>
Date: 23 Oct 89 13:12:19 GMT
Reply-To: alastair@dcl-cs.UUCP (Alastair Macartney)
Organization: Department of Computing at Lancaster University, UK.
Lines: 21

Hi people,
		I am currently doing some research into subtyping in object 
oriented languages and would like to know of any systems that employ
automatic (as opposed to user defined) subtyping. I know about the
Comandos, Emerald, and Eiffel and wonder whether there are any more 
systems with different conformance rules.
	In particular I am working on theoretic aspects of subtyping
with and I am trying to see if there is any way that anything apart
from syntactic checking can be used in verifying subtyping. In particular
denotational semantics has come to my attention.

	Any suggestions will be most gratefully received, either via e-mail
to me or by posting to the net.

many thanks in advance

Alastair Macartney
Dept of Computing
Lancaster University
UK
e-mail:	alastair@uk.ac.lancs.comp