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