Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!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? Message-ID: <1067@vlsi.cs.cmu.edu> Date: Tue, 7-Jul-87 16:15:23 EDT Article-I.D.: vlsi.1067 Posted: Tue Jul 7 16:15:23 1987 Date-Received: Fri, 10-Jul-87 05:47:25 EDT Organization: Carnegie-Mellon University, CS/RI Lines: 13 Keywords: Denotational semantics, object-oriented programming languages Xref: mnetor comp.lang.c++:355 comp.lang.smalltalk:206 Does anyone know of any work done on providing formal semantics (denotational or otherwise) for object-oriented languages? Please respond by e-mail, and I'll summarize on the net if there is enough interest. ---- ARPA: Siddhartha.Chatterjee@vlsi.cs.cmu.edu UUCP: {seismo,decvax,allegra}!rochester!cmu-cs-pt!cmu-cs-vlsi!sc ---- -- ---- ARPA: Siddhartha.Chatterjee@vlsi.cs.cmu.edu UUCP: {seismo,decvax,allegra}!rochester!cmu-cs-pt!cmu-cs-vlsi!sc ----