[comp.theory] Request for bibilographic references: denotational semantics

steve@hubcap.clemson.edu ("Steve" Stevenson) (05/30/90)

I think there was a thread here (comp.object) with denotational semantics
involved and I missed it.  I'd like to get some bibliographic references to
denotational semantics for OO languages.

Thanks

-- 
===============================================================================
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906

kitchel@iuvax.cs.indiana.edu (Sid Kitchel) (05/31/90)

steve@hubcap.clemson.edu ("Steve" Stevenson) writes:

>			  I'd like to get some bibliographic references to
>denotational semantics for OO languages.

	For those of us who believe that messages are an integral part of
the object-oriented paradigm, Will Clinger's thesis is quite important:

	William Douglas Clinger, _Foundations of Actor Semantics_,
		MIT Ph.D. Dissertation, May 1981.

							--Sid

-- 
Sid Kitchel...............WARNING: allergic to smileys and hearts....
Computer Science Dept.                   kitchel@iuvax.cs.indiana.edu
Indiana University                              kitchel@iubacs.BITNET
Bloomington, Indiana  47405-4101........................(812)855-9226

kitchel@IUVAX.CS.INDIANA.EDU (Sid Kitchel) (06/01/90)

steve@hubcap.clemson.edu ("Steve" Stevenson) writes:

>			  I'd like to get some bibliographic references to
>denotational semantics for OO languages.

	For those of us who believe that messages are an integral part of
the object-oriented paradigm, Will Clinger's thesis is quite important:

	William Douglas Clinger, _Foundations of Actor Semantics_,
		MIT Ph.D. Dissertation, May 1981.

							--Sid

--
Sid Kitchel...............WARNING: allergic to smileys and hearts....
Computer Science Dept.                   kitchel@iuvax.cs.indiana.edu
Indiana University                              kitchel@iubacs.BITNET
Bloomington, Indiana  47405-4101........................(812)855-9226