Survey of object oriented models of computation

• To: types@cis.upenn.edu
• Subject: Survey of object oriented models of computation
• From: Brian Postow <bpostow@cs.umd.edu>
• Date: Mon, 7 May 2001 17:34:08 -0400 (EDT)

I'm not sure if this is the right place to ask this question, if it
is'nt, I'm sure someone here will tell me what is. I'm looking for a
comprehensive survey of object oriented models of computation, along
the lines of Bruce/Cardelli/Pierce's "Comparing Object Encodings", but
more complete, or perhaps just more recent. I need to write a brief
introduction, and I want to make sure that I don't leave out any
important papers.

Thank you all

Brian Postow


[ I don't know of any comprehensive survey.  A couple of other
references that come to mind besides the ones in the BCP paper are
Castagna/Ghelli/Longo's lambda-& calculus and any number of
"core-Java" calculi, e.g. Featherweight Java.  If you're also
interested in concurrent object models, then there are a whole bunch
more systems to add to the list.  --BCP ]

• Prev: STRATEGIES 2001 (call for participation, prelim. program)
• Next: UNIF 2001: Call for Participation
• Index(es):
  • Main
  • Thread