Impact of using a static-type system in computer programming

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    Static-Type systems are a major topic in programming language research and the software industry because they should reduce the development time and increase the code quality. Additionally, they are predicted to decrease the number of defects in a code due to early error detection. However, only a few empirical experiments exist on the potential benefits of static-Type systems in programming activities. This paper describes an experiment that tests whether static-Type systems help developers create solutions for certain programming tasks. The results indicate that although the existence of a static-Type system has no positive impact when subjects code a program from scratch, it does allow more errors in program debugging to be fixed.

    Original languageEnglish
    Title of host publicationProceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017
    PublisherIEEE Computer Society
    Pages116-119
    Number of pages4
    ISBN (Electronic)9781509046355
    DOIs
    Publication statusPublished - 2017 Apr 25
    Event18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017 - Singapore, Singapore
    Duration: 2017 Jan 122017 Jan 14

    Other

    Other18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017
    CountrySingapore
    CitySingapore
    Period17/1/1217/1/14

    Keywords

    • Empirical study
    • Program debugging
    • Programming language
    • Static-Type systems

    ASJC Scopus subject areas

    • Software
    • Safety, Risk, Reliability and Quality

    Fingerprint Dive into the research topics of 'Impact of using a static-type system in computer programming'. Together they form a unique fingerprint.

  • Cite this

    Harlin, I. R., Washizaki, H., & Fukazawa, Y. (2017). Impact of using a static-type system in computer programming. In Proceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017 (pp. 116-119). [7911881] IEEE Computer Society. https://doi.org/10.1109/HASE.2017.17