Behavioral subtyping through typed assertions

Herbert Toth

This paper presents a critical discussion of popular approaches to ensure the Liskov substitution principle in class hierarchies (e.g. Design by Contract(TM), specification inherit…