Object interdependencies, behaviors, semantics, and types

Cong Cong Xing, Boumediene Belkhouche

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 2005 International Conference on Programming Languages and Compilers, PLC'05
Pages245-248
Number of pages4
Publication statusPublished - 2005
Externally publishedYes
Event2005 International Conference on Programming Languages and Compilers, PLC'05 - Las Vegas, NV, United States
Duration: Jun 27 2005Jun 30 2005

Publication series

NameProceedings of the 2005 International Conference on Programming Languages and Compilers, PLC'05

Other

Other2005 International Conference on Programming Languages and Compilers, PLC'05
Country/TerritoryUnited States
CityLas Vegas, NV
Period6/27/056/30/05

Keywords

  • Object behavior
  • Object interdependency
  • Object-oriented language
  • Semantics
  • Subtyping
  • Type

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Fingerprint

Dive into the research topics of 'Object interdependencies, behaviors, semantics, and types'. Together they form a unique fingerprint.

Cite this