Behavioral subtyping through typed assertions

Abstract

This paper presents a critical discussion of popular approaches to ensure the Liskov substitution principle in class hierarchies (e.g. Design by ContractTM, specification inheritance). It will be shown that they have some deficiencies which are due to the way how effective constraints are calculated for subclass methods. A new mechanism, called client… (More)

Topics

7 Figures and Tables

Cite this paper

@article{Toth2010BehavioralST, title={Behavioral subtyping through typed assertions}, author={Herbert Toth}, journal={CoRR}, year={2010}, volume={abs/1101.0114} }