Xref: utzoo comp.object:307 comp.lang.eiffel:472
Path: utzoo!attcan!uunet!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!jack
From: jack@cs.glasgow.ac.uk (Jack Campin)
Newsgroups: comp.object,comp.lang.eiffel
Subject: Re: subtyping/conformance
Message-ID: <3668@midway.cs.glasgow.ac.uk>
Date: 27 Oct 89 15:48:47 GMT
References: <409@dcl-vitus.comp.lancs.ac.uk>
Reply-To: jack@cs.glasgow.ac.uk (Jack Campin)
Organization: COMANDOS Project, Glesga Yoonie, Unthank
Lines: 21
Summary:
Expires:
Sender:
Followup-To:
Keywords:


alastair@dcl-cs.UUCP (Alastair Macartney) wrote:

> 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.

Do you mean "structural" by "automatic"?  If so, all of the systems derived
from Cardelli's work do that.  One fairly recent paper I've seen on this
work is Cardelli & Mitchell, "Operations on records", DEC SRC Report 48
(August 1989), DEC Systems Research Center, 130 Lytton Avenue, Palo Alto,
CA 94301.  There is too much stuff going on in this research programme to
summarize here; look in the theoretical computer science journals.

-- 
Jack Campin  *  Computing Science Department, Glasgow University, 17 Lilybank
Gardens, Glasgow G12 8QQ, SCOTLAND.    041 339 8855 x6045 wk  041 556 1878 ho
INTERNET: jack%cs.glasgow.ac.uk@nsfnet-relay.ac.uk  USENET: jack@glasgow.uucp
JANET: jack@uk.ac.glasgow.cs     PLINGnet: ...mcvax!ukc!cs.glasgow.ac.uk!jack