Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool
- 1 May 2015
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
- Vol. 1, 234-245
- https://doi.org/10.1109/icse.2015.44
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.Keywords
This publication has 27 references indexed in Scilit:
- A type system for regular expressionsPublished by Association for Computing Machinery (ACM) ,2012
- Inference of field initializationPublished by Association for Computing Machinery (ACM) ,2011
- The Nullness Analyser of juliaLecture Notes in Computer Science, 2010
- Accurate Interprocedural Null-Dereference Analysis for JavaPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Practical pluggable types for javaPublished by Association for Computing Machinery (ACM) ,2008
- Pluggable checking and inferencing of nonnull types for Java.The Journal of Object Technology, 2007
- Flow-insensitive type qualifiersACM Transactions on Programming Languages and Systems, 2006
- Propagation of JML non-null annotations in Java programsPublished by Association for Computing Machinery (ACM) ,2006
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001