Static Analysis of Functional Programs

Klaas van den Berg, P.M. van den Broek

    Research output: Contribution to journalArticleAcademicpeer-review

    8 Citations (Scopus)
    140 Downloads (Pure)


    In this paper, the static analysis of programs in the functional programming language Miranda is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a model with four classes of callgraphs. Standard software metrics are applicable to these models. A Miranda front end for Prometrix, a tool for the automated analysis of flowgraphs and callgraphs, has been developed. This front end produces the flowgraph and callgraph representations of Miranda programs. Some features of the metric analyser are illustrated with an example program. The tool provides a promising access to standard metrics on functional programs.
    Original languageUndefined
    Pages (from-to)213-224
    Number of pages12
    JournalInformation and software technology
    Issue number4
    Publication statusPublished - 1995


    • SE-SMM: Software Measurement and Metrics
    • Functional Programming
    • software metrics
    • IR-17963
    • EWI-10093
    • METIS-118482
    • graph models

    Cite this