POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experimental design and analysis in software engineering, part 4: choosing an experimental design
ACM SIGSOFT Software Engineering Notes
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking
IEEE Transactions on Software Engineering
Should your specification language be typed
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
Point of view: Lisp as an alternative to Java
intelligence
An experimental evaluation of data type conventions
Communications of the ACM
Foundations of object-oriented languages: types and semantics
Foundations of object-oriented languages: types and semantics
Types and programming languages
Types and programming languages
Preliminary guidelines for empirical research in software engineering
IEEE Transactions on Software Engineering
Evaluating guidelines for empirical software engineering studies
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Guest Editors' Introduction: Dynamically Typed Languages
IEEE Software
Using students as subjects - an empirical evaluation
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Proceedings of the 7th symposium on Dynamic languages
Proceedings of the 34th International Conference on Software Engineering
Object-oriented programming with gradual abstraction
Proceedings of the 8th symposium on Dynamic languages
An empirical study of the influence of static type systems on the usability of undocumented software
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Do background colors improve program comprehension in the #ifdef hell?
Empirical Software Engineering
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
An Empirical Investigation into Programming Language Syntax
ACM Transactions on Computing Education (TOCE)
Hi-index | 0.00 |
Although static type systems are an essential part in teach-ing and research in software engineering and computer science, there is hardly any knowledge about what the impact of static type systems on the development time or the resulting quality for a piece of software is. On the one hand there are authors that state that static type systems decrease an application's complexity and hence its development time (which means that the quality must be improved since developers have more time left in their projects). On the other hand there are authors that argue that static type systems increase development time (and hence decrease the code quality) since they restrict developers to express themselves in a desired way. This paper presents an empirical study with 49 subjects that studies the impact of a static type system for the development of a parser over 27 hours working time. In the experiments the existence of the static type system has neither a positive nor a negative impact on an application's development time (under the conditions of the experiment).