[TYPES] Object-oriented calculi

[Carl Eastlund]

Daniel,

Matthias Felleisen and I published a technical report in 2006 related
to this.  I'll paste a link to it below this paragraph.  Our OO
semantics called "sequence traces" formalizes the behavior of objects
with fields and methods, and is parameterized over the computation
that occurs inside single objects between messages.  The tech report
shows representations of Abadi and Cardelli's calculus, ClassicJava,
and a multiple dispatch language in our system.  This may not fit your
criteria of minimality, but perhaps it is of interest.  We also cite
other semantics and calculi, in case that helps broaden your search.
Good luck!

You can find the tech report at:
http://www.ccs.neu.edu/home/cce/publications.html

--
Carl Eastlund

On Sat, Feb 23, 2008 at 12:02 AM, Daniel Yokomizo
<daniel.yokomizo at gmail.com> wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
>  Hi,
>
>     I'm currently defining a minimalist object-oriented calculus and
>  wanted to know if there were other research on this area, besides
>  Cardelli's and Nordhagen's work. I know some work on formalizations of
>  object systems but found few pointers in calculi. In particular I was
>  looking for work calculi that aren't extensions to other calculi (e.g.
>  lambda, pi) to express OO constructs, but calculi that are
>  fundamentally distinct and foundational (in the  sense that the
>  calculus defines only the strictly necessary and things like effects,
>  type systems are defined as extensions).
>     Any information will be much appreciated.
>
>  Best regards,
>  Daniel Yokomizo.