School of Computing

Software Measurement for Functional Programming

Chris Ryder

PhD thesis, Computing Lab, University of Kent, Canterbury, UK, August 2004.


This thesis presents an investigation into the usefulness of software measurement techniques, also known as software metrics, for software written in functional programming languages such as Haskell.

Statistical analysis is performed on a selection of metrics for Haskell programs, some taken from the world of imperative languages. An attempt is made to assess the utility of various metrics in predicting likely places that bugs may occur in practice by correlating bug fixes with metric values within the change histories of a number of case study programs.

This work also examines mechanisms for visualising the results of the metrics and shows some proof of concept implementations for Haskell programs, and notes the usefulness of such tools in other software engineering processes such as refactoring.

Download publication 7840 kbytes (PDF)

Bibtex Record

author = {Chris Ryder},
title = {Software Measurement for Functional Programming},
month = {August},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {phdthesis},
    submission_id = {5299_1122555827},
    school = {Computing Lab, University of Kent},
    address = {Canterbury, UK},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014