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
Studying programmer behavior experimentally: the problems of proper methodology
Communications of the ACM
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
Empirical 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
Empirical research methods for software engineering
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Basics of Software Engineering Experimentation
Basics of Software Engineering Experimentation
Proceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools
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
Comparative language fuzz testing: programming languages vs. fat fingers
Proceedings of the ACM 4th annual workshop on Evaluation and usability of programming languages and tools
Information and Software Technology
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
Hi-index | 0.00 |
Static type systems are essential in computer science. However, there is hardly any knowledge about the impact of type systems on the resulting piece of software. While there are authors that state that static types increase the development speed, other authors argue the other way around. A previous experiment suggests that there are multiple factors that play a role for a comparison of statically and dynamically typed language. As a follow-up, this paper presents an empirical study with 21 subjects that compares programming tasks performed in Java and Groovy - programming tasks where the number of expected type casts vary in the statically typed language. The result of the study is, that the dynamically typed group solved the complete programming tasks significantly faster for most tasks - but that for larger tasks with a higher number of type casts no significant difference could be found.