Assessing the Type Annotation Burden

• Published in: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 190 - 201
• Main Authors: Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros
• Format: Conference Proceeding
• Language: English
• Published: ACM 01.09.2018
• Subjects: abstract type inference; Accuracy; Annotations; Codes; Cognition; Costs; dimensional analysis; Object recognition; physical units; program analysis; robotic systems; Robots; Software engineering; Space exploration; Static analysis; type checking; unit consistency

Type annotations provide a link between program variables and domain-specific types. When combined with a type system, these annotations can enable early fault detection. For type annotations to be cost-effective in practice, they need to be both accurate and affordable for developers. We lack, howe...