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