Cascade: A universal programmer-assisted type qualifier inference tool

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

Permalink

https://hdl.handle.net/2142/54893 Copy

Description

Title

Cascade: A universal programmer-assisted type qualifier inference tool

Author(s)

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

Issue Date

2014-09-09

Keyword(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.

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/54893

DOI

https://doi.org/10.1109/ICSE.2015.44

Sponsor(s)/Grant Number(s)

• NSF CCF 11-17960
• DOE DE-FC02-06-ER-25752
• DARPA FA8750-12-2-0107
• DARPA FA8750-12-C-0174

Owning Collections