Files in this item

FilesDescriptionFormat

application/pdf

application/pdf2015-icse-tqi.pdf (490kB)
Published ArticlePDF

Description

Title:Cascade: A universal programmer-assisted type qualifier inference tool
Author(s):Vakilian, Mohsen; Phaosawasdi, Amarin; Ernst, Michael D.; Johnson, Ralph E.
Subject(s):software evolution
refactoring
human-computer interaction
design
type system
type qualifier inference
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.
Issue Date:2014-09-09
Type:Text
Language:English
URI:http://hdl.handle.net/2142/54893
DOI:dx.doi.org/10.1109/ICSE.2015.44
Sponsor:NSF CCF 11-17960
DOE DE-FC02-06-ER-25752
DARPA FA8750-12-2-0107
DARPA FA8750-12-C-0174
Date Available in IDEALS:2014-09-24


This item appears in the following Collection(s)

Item Statistics