Inference and checking of context-sensitive pluggable types

Abstract

Pluggable types can help find bugs such as null-pointer dereference or unwanted mutation (or they can prove the absence of such bugs). Unfortunately, pluggable types require annotations, which imposes a burden on programmers.

BibTeX

@inproceedings{Milanova-Huang:FSE12,
  author    = {Ana L. Milanova and
               Wei Huang},
  title     = {Inference and checking of context-sensitive pluggable types},
  booktitle = {FSE},
  pages     = {26},
  publisher = {{ACM}},
  year      = {2012},
}

Inference and checking of context-sensitive pluggable types

Abstract

Related papers