DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk

State Based Ownership, Reentrance and Encapsulation

David A. Naumann,
Stevens Institute of Technology

Thursday (!), October 6th, 15:15-16:00
IT University of Copenhagen, Rued Langgaards Vej 7, auditorium 4

Abstract:

A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a class. But encapsulation is difficult to achieve in object-oriented programs owing to heap based structures and reentrant callbacks. This paper shows that it is achieved by a discipline using assertions and auxiliary fields to manage invariants and transferrable ownership. The main result is representation independence: a rule for modular proof of equivalence of class implementations.

Based on a paper in ECOOP 2005, joint work with Anindya Banerjee

Scientific host: Lars Birkedal. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org