| Title | Cascade: A universal type qualifier inference tool |
| Publication Type | Miscellaneous |
| Year of Publication | 2014 |
| Authors | Vakilian M, Phaosawasdi A, Ernst MD, Johnson RE |
| Date or Month Published | September |
| Abstract | Type qualifier inference tools usually operate in batch mode and assume that the program must not be changed. 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 type qualifier inference can achieve better results by reducing the level of automation and involving programmers. |
| Downloads | https://www.ideals.illinois.edu/bitstream/handle/2142/54893/2015-icse-tq... PDF
https://hdl.handle.net/2142/54893 IDEALS permalink
|
| Citation Key | VakilianPEJ2014 |
