Safe object composition in the presence of subtyping

Authors:
Lorenzo Bettini;Viviana Bono;Silvia Likavec
Affiliations:
Dipartimento di Sistemi ed Informatica, Università di Firenze, Firenze, Italy;Dipartimento di Informatica, Università di Torino, Torino, Italy;Dipartimento di Informatica, Università di Torino, Torino, Italy
Venue:
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Year:
2005

Citing 10
Cited 0

Parameter-passing and the lambda calculus

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The revised report on the syntactic theories of sequential control and state

Theoretical Computer Science
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
A syntactic approach to type soundness

Information and Computation
Privacy via subsumption

Information and Computation - FOOL V
A lambda calculus of objects and method specialization

Nordic Journal of Computing
A Core Calculus of Classes and Mixins

ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Delegation-based Object Calculus with Subtying

FCT '95 Proceedings of the 10th International Symposium on Fundamentals of Computation Theory
Programming, Transforming, and Providing with Function Abstractions and Memories

ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Safe and flexible objects

Proceedings of the 2005 ACM symposium on Applied computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object composition arises as a natural operation to combine objects in an object-based setting. In our incomplete objects setting it has a strong meaning, as it may combine objects with different internal states. In this paper we study how to make object composition safe in the presence of width subtyping, we propose two solutions, and discuss the alternative ones.