Software Measurement and Functional Programming

Klaas van den Berg

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    139 Downloads (Pure)


    Software metrics have been investigated for the assessment of programs written in a functional programming language. The external attribute of programs considered in this thesis is their comprehensibility to novice programmers. This attribute has been operationalized in a number of experiments. The internal attribute of software which is examined is the structure. Two models for the structure of software have been employed: callgraphs and flowgraphs. The proposed control-flow model captures the operational semantics of function definitions. The objective measurement of the attributes has been supported by tools. The validation of structure metrics has been addressed in certain experiments for programming-in-the-small. The structure of type expressions in functional programs has been analysed in a case study. A simple framework for software metrication proved to be useful. The validation of metrics has been linked with axioms from the representational measurement theory. The control-flow model for functional programs showed its value in the set-up of an experiment regarding the influence of the structure on the comprehensibility. A programming style rule on the use of guards in function definitions has been validated by the findings in this experiment.
    Original languageEnglish
    • van den Broek, P.M., Advisor
    • Duijvestijn, A.J.W., Supervisor
    • Fenton, N.E., Supervisor, External person
    Award date23 Jun 1995
    Place of PublicationEnschede
    Print ISBNs9090082514
    Publication statusPublished - 23 Jun 1995


    • SE-SMM: Software Measurement and Metrics
    • CR-D.3
    • IR-57883
    • EWI-10092


    Dive into the research topics of 'Software Measurement and Functional Programming'. Together they form a unique fingerprint.

    Cite this