Static Analysis of Functional Programs

Share/Save/Bookmark

Berg, K.G. van den and Broek, P.M. van den (1995) Static Analysis of Functional Programs. Information and Software Technology, 37 (4). pp. 213-224. ISSN 0950-5849

open access
[img]
Preview
PDF
1MB
Abstract: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.
Item Type:Article
Copyright:© 1995 Elsevier Science
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/17963
Official URL:http://dx.doi.org/10.1016/0950-5849(95)90813-A
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 118482