sc@vlsi.cs.cmu.edu (Siddhartha Chatterjee) (07/20/87)
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 ----