Impact of using a static-type system in computer programming

    研究成果: Conference contribution

    抄録

    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.

    本文言語English
    ホスト出版物のタイトルProceedings - IEEE 18th International Symposium on High Assurance Systems Engineering, HASE 2017
    出版社IEEE Computer Society
    ページ116-119
    ページ数4
    ISBN(電子版)9781509046355
    DOI
    出版ステータスPublished - 2017 4月 25
    イベント18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017 - Singapore, Singapore
    継続期間: 2017 1月 122017 1月 14

    Other

    Other18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017
    国/地域Singapore
    CitySingapore
    Period17/1/1217/1/14

    ASJC Scopus subject areas

    • ソフトウェア
    • 安全性、リスク、信頼性、品質管理

    フィンガープリント

    「Impact of using a static-type system in computer programming」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル