Static analysis of functional programs

Publisher Website

1 January 1995

journal article
Published by Elsevier in Information and Software Technology

Vol. 37 (4) , 213-224
https://doi.org/10.1016/0950-5849(95)90813-a

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Quantifying internal attributes of functional programs
Information and Software Technology, 1993
Models and theories of programming strategy
International Journal of Man-Machine Studies, 1993
Metrics and software structure
Information and Software Technology, 1987
An overview of Miranda
ACM SIGPLAN Notices, 1986
On the criteria to be used in decomposing systems into modules
Communications of the ACM, 1972