Behavioral subtyping through typed assertions

Details Behavioral subtyping through typed assertions Behavioral subtyping through typed assertions

2010-12-30

arxiv.org/abs/1101.0114v1

Computer Science

Software Engineering

26 pages

Scientific paper

This paper presents a critical discussion of two popular approaches (Design by Contract (TM), specification inheritance) for ensuring the Liskov substitution principle in class hierarchies. It will be shown that they have some deficiencies due to the fact that refinement and plug-in compatibility are formally constructed by the way effective constraints are calculated for subclass methods. A new mechanism, called client (or view) conformance, is presented that additionally takes the client's static type into account and which is, therefore, able to better adapt the runtime checks of a server method to its client's view on the program state.

Affiliated with

Also associated with

No associations

Rating

Behavioral subtyping through typed assertions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Behavioral subtyping through typed assertions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Behavioral subtyping through typed assertions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-401307