TY - GEN
T1 - Object interdependencies, behaviors, semantics, and types
AU - Xing, Cong Cong
AU - Belkhouche, Boumediene
PY - 2005/12/1
Y1 - 2005/12/1
N2 - Object types are abstract specifications of object behaviors and semantics. Object behaviors and semantics are abstractly indicated by object component interdependencies. In conventional object type systems, object component interdependencies are not taken into account, and as such, fundamental typing/subtyping loopholes that make program run-time errors inevitable still persist in current object type systems. In this short paper, we use Abadi-Cardelli's ζ-calculus to present a typing/subtyping problem that is due to the overlooking of object component interdependencies and causes program semantics trouble and run-time errors. We argue that, in order to rectify this kind of problem, object component interdependency information need to be included in object types and participate in object typing/subtyping.
AB - Object types are abstract specifications of object behaviors and semantics. Object behaviors and semantics are abstractly indicated by object component interdependencies. In conventional object type systems, object component interdependencies are not taken into account, and as such, fundamental typing/subtyping loopholes that make program run-time errors inevitable still persist in current object type systems. In this short paper, we use Abadi-Cardelli's ζ-calculus to present a typing/subtyping problem that is due to the overlooking of object component interdependencies and causes program semantics trouble and run-time errors. We argue that, in order to rectify this kind of problem, object component interdependency information need to be included in object types and participate in object typing/subtyping.
KW - Object behavior
KW - Object interdependency
KW - Object-oriented language
KW - Semantics
KW - Subtyping
KW - Type
UR - http://www.scopus.com/inward/record.url?scp=60749109847&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=60749109847&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:60749109847
SN - 9781932415759
T3 - Proceedings of the 2005 International Conference on Programming Languages and Compilers, PLC'05
SP - 245
EP - 248
BT - Proceedings of the 2005 International Conference on Programming Languages and Compilers, PLC'05
T2 - 2005 International Conference on Programming Languages and Compilers, PLC'05
Y2 - 27 June 2005 through 30 June 2005
ER -