Assessing the Type Annotation Burden

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

Full description

Saved in:

Bibliographic Details
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
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!