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

    Fingerprint

    Computer programming
    Program debugging
    Error detection
    Computer programming languages
    Experiments
    Defects
    Industry

    Keywords

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

    ASJC Scopus subject areas

    • Software
    • Safety, Risk, Reliability and Quality

    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

    Impact of using a static-type system in computer programming. / Harlin, Ismail Rizky; Washizaki, Hironori; Fukazawa, Yoshiaki.

    Proceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017. IEEE Computer Society, 2017. p. 116-119 7911881.

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

    Harlin, IR, 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., 7911881, IEEE Computer Society, pp. 116-119, 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, Singapore, 17/1/12. https://doi.org/10.1109/HASE.2017.17
    Harlin IR, Washizaki H, Fukazawa Y. Impact of using a static-type system in computer programming. In Proceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017. IEEE Computer Society. 2017. p. 116-119. 7911881 https://doi.org/10.1109/HASE.2017.17
    Harlin, Ismail Rizky ; Washizaki, Hironori ; Fukazawa, Yoshiaki. / Impact of using a static-type system in computer programming. Proceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017. IEEE Computer Society, 2017. pp. 116-119
    @inproceedings{b8ae3f19bee240fc9bc69b25d7f77b55,
    title = "Impact of using a static-type system in computer programming",
    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.",
    keywords = "Empirical study, Program debugging, Programming language, Static-Type systems",
    author = "Harlin, {Ismail Rizky} and Hironori Washizaki and Yoshiaki Fukazawa",
    year = "2017",
    month = "4",
    day = "25",
    doi = "10.1109/HASE.2017.17",
    language = "English",
    pages = "116--119",
    booktitle = "Proceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017",
    publisher = "IEEE Computer Society",
    address = "United States",

    }

    TY - GEN

    T1 - Impact of using a static-type system in computer programming

    AU - Harlin, Ismail Rizky

    AU - Washizaki, Hironori

    AU - Fukazawa, Yoshiaki

    PY - 2017/4/25

    Y1 - 2017/4/25

    N2 - 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.

    AB - 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.

    KW - Empirical study

    KW - Program debugging

    KW - Programming language

    KW - Static-Type systems

    UR - http://www.scopus.com/inward/record.url?scp=85019245607&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=85019245607&partnerID=8YFLogxK

    U2 - 10.1109/HASE.2017.17

    DO - 10.1109/HASE.2017.17

    M3 - Conference contribution

    AN - SCOPUS:85019245607

    SP - 116

    EP - 119

    BT - Proceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017

    PB - IEEE Computer Society

    ER -