STATIC ANALYSIS OF FUNCTIONAL PROGRAMS

In this paper, the static analysis of programs in the functional progr amming language Miranda is described based on two graph models. A new control-flow graph model of Miranda definitions is presented, and a m odel with four classes of callgraphs. Standard software metrics are ap plicable to these models. A Miranda front end for Prometrix dagger, a tool for the automated analysis of flowgraphs and callgraphs, has been developed. This front end produces the flowgraph and callgraph repres entations of Miranda programs. Some features of the metric analyser ar e illustrated with an example program. The tool provides a promising a ccess to standard metrics on functional programs.