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

Abstract

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

Topics

Statistics

0510'01'03'05'07'09'11'13'15'17
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