State based ownership, reentrance, and encapsulation

Anindya Banerjee; David A. Naumann

doi:10.1007/11531142_17

State based ownership, reentrance, and encapsulation

Anindya Banerjee
, David A. Naumann

Department of Computer Science

Kansas State University

Research output: Contribution to journal › Conference article › peer-review

24 Scopus citations

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 transferable ownership. The main result is representation independence: a rule for modular proof of equivalence of class implementations.

Original language	English
Pages (from-to)	387-411
Number of pages	25
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3586
DOIs	https://doi.org/10.1007/11531142_17
State	Published - 2005
Event	19th European Conference on Object-Oriented Programming, ECOOP 2005 - Glasgow, United Kingdom Duration: 25 Jul 2005 → 29 Jul 2005

Access to Document

10.1007/11531142_17

Cite this

@article{897a96b542004a52aeb93a10ad0fbd87,

title = "State based ownership, reentrance, and encapsulation",

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 transferable ownership. The main result is representation independence: a rule for modular proof of equivalence of class implementations.",

author = "Anindya Banerjee and Naumann, \{David A.\}",

year = "2005",

doi = "10.1007/11531142\_17",

language = "English",

volume = "3586",

pages = "387--411",

note = "19th European Conference on Object-Oriented Programming, ECOOP 2005 ; Conference date: 25-07-2005 Through 29-07-2005",

}

TY - JOUR

T1 - State based ownership, reentrance, and encapsulation

AU - Banerjee, Anindya

AU - Naumann, David A.

PY - 2005

Y1 - 2005

N2 - 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 transferable ownership. The main result is representation independence: a rule for modular proof of equivalence of class implementations.

AB - 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 transferable ownership. The main result is representation independence: a rule for modular proof of equivalence of class implementations.

UR - https://www.scopus.com/pages/publications/26444459810

UR - https://www.scopus.com/pages/publications/26444459810#tab=citedBy

U2 - 10.1007/11531142_17

DO - 10.1007/11531142_17

M3 - Conference article

AN - SCOPUS:26444459810

SN - 0302-9743

VL - 3586

SP - 387

EP - 411

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 19th European Conference on Object-Oriented Programming, ECOOP 2005

Y2 - 25 July 2005 through 29 July 2005

ER -

State based ownership, reentrance, and encapsulation

Abstract

Access to Document

Other files and links

Fingerprint

Cite this