Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!rochester!pt!vlsi.cs.cmu.edu!sc
From: sc@vlsi.cs.cmu.edu (Siddhartha Chatterjee)
Newsgroups: comp.lang.c++,comp.lang.smalltalk
Subject: Semantics of Object-Oriented Programming Languages (summary)
Message-ID: <1068@vlsi.cs.cmu.edu>
Date: Mon, 20-Jul-87 10:45:41 EDT
Article-I.D.: vlsi.1068
Posted: Mon Jul 20 10:45:41 1987
Date-Received: Tue, 21-Jul-87 04:41:34 EDT
Organization: Carnegie-Mellon University, CS/RI
Lines: 26
Xref: mnetor comp.lang.c++:365 comp.lang.smalltalk:229

These are the references I got in response to my post regarding semantics
of object-oriented languages.  Thanks to all those who responded.

(1) Robert W. Scheifler, ``A denotational semantics of CLU'', MIT/LCS/TR-201.

(2) McAllister & Zabih, ``Boolean Classes'', Proc. ACM OOPSLA 1986.

(3) David Maier, ``A logic for objects'', Oregon Graduate Center TR 
    CSE-86-012.

(4) Cardelli, ``A semantics of multiple inheritance'', in Springer-Verlag
    Lecture Notes on Computer Science 173, 1984.

(5) Wolezko, Paper on formal semantics of Smalltalk in European Conference on
    object-oriented Programming, Paris, 1987.

(6) Kamin, Paper on denotational semantics of Smalltalk, submitted to POPL.

(7) Cardelli & Wegner, ``On Understanding Types, Data Abstractions, and 
    Polymorphism'', AACM Computing Surveys, 17(4) Dec. 1985.

-- 
----
ARPA:	Siddhartha.Chatterjee@vlsi.cs.cmu.edu
UUCP:	{seismo,decvax,allegra}!rochester!cmu-cs-pt!cmu-cs-vlsi!sc
----