[comp.lang.smalltalk] Semantics of object-oriented programming languages?

sc@vlsi.cs.cmu.edu (Siddhartha Chatterjee) (07/07/87)

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