kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2015

Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool

Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson

DOI 10.1109/icse.2015.44dblp

Abstract

Type qualifier inference tools usually operate in batch mode and assume that the program must not be changed except to add the type qualifiers. In practice, programs must be changed to make them type-correct, and programmers must understand them. Cascade is an interactive type qualifier inference tool that is easy to implement and universal (i.e., it can work for any type qualifier system for which a checker is implemented). It shows that qualifier inference can achieve better results by involving programmers rather than relying solely on automation.

BibTeX
@inproceedings{Vakilian-al:ICSE15,
  author    = {Mohsen Vakilian and
               Amarin Phaosawasdi and
               Michael D. Ernst and
               Ralph E. Johnson},
  title     = {Cascade: A Universal {Programmer-Assisted} Type Qualifier Inference Tool},
  booktitle = {ICSE (Part I)},
  pages     = {234--245},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
}

Related papers