Always-available static and dynamic feedback

12 years 3 months ago
Always-available static and dynamic feedback
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type checker. They are further confined to the static typing discipline during times in the development process where it does not yield the highest productivity. If they opt instead to use a dynamic language, they forgo the many benefits of static typing, including machine-checked documentation, improved correctness and reliability, tool support (such as for refactoring), and better runtime performance. We present a novel approach to giving developers the benefits of both static and dynamic typing, throughout the development process, and without the burden of manually separating their program into staticallyand dynamically-typed parts. Our approach, which is intended for temporary use during the development process, relaxes the static type system and provides a semantics for many type-incorrect programs. It defers...
Michael Bayne, Richard Cook, Michael D. Ernst
Added 29 Aug 2011
Updated 29 Aug 2011
Type Journal
Year 2011
Where ICSE
Authors Michael Bayne, Richard Cook, Michael D. Ernst
Comments (0)