Always-available static and dynamic feedback

Michael Bayne, Richard Cook, Michael D. Ernst

PDF DOI 10.1145/1985793.1985864 dblp

Abstract

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.

BibTeX

@inproceedings{Bayne-al:ICSE11,
  author    = {Michael Bayne and
               Richard Cook and
               Michael D. Ernst},
  title     = {Always-available static and dynamic feedback},
  booktitle = {ICSE},
  pages     = {521--530},
  publisher = {{ACM}},
  year      = {2011},
}

Always-available static and dynamic feedback

Abstract

Related papers