Automatic inference of abstract type behavior

Abstract

Type hierarchies are an integral part of the object oriented software reuse machinery. Software flexibility can be increased through type inheritance which, if used in accordance with Liskov Substitution Principle (LSP) enables safe object substitution.

BibTeX

@inproceedings{Balint:ASE10,
  author    = {Mihai Balint},
  title     = {Automatic inference of abstract type behavior},
  booktitle = {ASE},
  pages     = {499--504},
  publisher = {{ACM}},
  year      = {2010},
}

Automatic inference of abstract type behavior

Abstract

Related papers