Safe and Flexible Objects with Subtyping

@article{Bettini2005SafeAF,
  title={Safe and Flexible Objects with Subtyping},
  author={Lorenzo Bettini and Viviana Bono and Silvia Likavec},
  journal={Journal of Object Technology},
  year={2005},
  volume={4},
  pages={5-29}
}
We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are “incomplete objects”, that can be completed in an object-based fashion. The combination of class-based features with object-based ones offers some flexible programming solutions. The fact that all objects are created from fully-typed… CONTINUE READING