Building and using pluggable type systems

Abstract

Are you a practitioner who is tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field? A pluggable type system can guarantee the absence of these errors, and many more.

BibTeX

@inproceedings{Ernst-Ali:FSE10,
  author    = {Michael D. Ernst and
               Mahmood Ali},
  title     = {Building and using pluggable type systems},
  booktitle = {FSE},
  pages     = {375--376},
  publisher = {{ACM}},
  year      = {2010},
}

Building and using pluggable type systems

Abstract

Related papers