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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) s. 190 - 201
Hlavní autori:	Ore, John-Paul, Elbaum, Sebastian, Detweiler, Carrick, Karkazis, Lambros
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.09.2018
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!