kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2011

Building and using pluggable type-checkers

Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kivanç Muslu, Todd W. Schiller

PDFDOI 10.1145/1985793.1985889dblp

Abstract

This paper describes practical experience building and using pluggable type-checkers. A pluggable type-checker refines (strengthens) the built-in type system of a programming language. This permits programmers to detect and prevent, at compile time, defects that would otherwise have been manifested as run-time errors. The prevented defects may be generally applicable to all programs, such as null pointer dereferences. Or, an application-specific pluggable type system may be designed for a single application.

BibTeX
@inproceedings{Dietl-al:ICSE11,
  author    = {Werner Dietl and
               Stephanie Dietzel and
               Michael D. Ernst and
               Kivan{\c{c}} Muslu and
               Todd W. Schiller},
  title     = {Building and using pluggable type-checkers},
  booktitle = {ICSE},
  pages     = {681--690},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers