6 Concepts of Behavioral Subtyping and a Sketch of their Extension to Component-Based Systems


Object-oriented systems are able to treat objects indirectly by message passing. This allows them to manipulate objects without knowing their exact runtime type. Behavioral subtyping helps one reason in a modular fashion about such programs. That is, one can reason based on the static types of expressions in a program, provided that static types are upper… (More)

1 Figure or Table



Citations per Year

61 Citations

Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics