Static analysis of functional programs
TL;DR: In this article, the static analysis of programs in the functional programming language Miranda ∗ is described based on two graph models: a control-flow graph model of Miranda definitions, and a model with four classes of callgraphs.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Software measurement and functional programming
Klaas van den Berg
- 23 Jun 1995
TL;DR: The control-flow model for functional programs showed its value in the set-up of an experiment regarding the influence of the structure on the comprehensibility, and a programming style rule on the use of guards in function definitions has been validated by the findings in this experiment.
Design and analysis of hierarchical software metrics
TL;DR: In this tutorial a new cubic flowgraph model is introduced and shown to be useful in exploring a whole range of software metric design and analysis techniques, specifically in reference to the subclass of software metrics that are said to be hierarchical.
18
Towards Automated Threat Modeling of Cyber-Physical Systems
Ameerah-Muhsinah Jamil,Shifa Khan,Jian Kai Lee,Lotfi ben Othmane +3 more
- 01 Aug 2021
TL;DR: In this paper, the authors present an approach to maintain the threat model of given CPSs up-to-date and reports about applying the proposed approach on Apollo Auto 3.5, an autonomous vehicle software.
11
Programmers Performance on Structured versus Nonstructured Function Definitions
K.G. van den Berg,P.M. van den Broek +1 more
- 01 Feb 1995
TL;DR: A control-flow model for functional programs is used in an experimental comparison of the performance of programmers on structured versus nonstructured Miranda function definitions and a counter-intuitive result has been obtained.
5
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm
Devesh Manjhi,Amrita Chaturvedi +1 more
TL;DR: A framework for measuring the reusability of Haskell functions is developed and it is shown how source code metrics computed from a Haskell function can be used to predict the reuse estimate of a given function.
4
References
On the criteria to be used in decomposing systems into modules
TL;DR: In this paper, the authors discuss modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time, and the effectiveness of modularization is dependent upon the criteria used in dividing the system into modules.
•Book
Software Metrics: A Rigorous Approach
Norman Fenton
- 01 Apr 1991
TL;DR: The book has been comprehensively re-written and re-designed to take account of the fast changing developments in software metrics, most notably their widespread penetration into industrial practice.
1.2K
The synthesizer generator
Thomas Reps,Tim Teitelbaum +1 more
- 25 Apr 1984
TL;DR: The Synthesizer Generator is a tool for creating full-screen editors for manipulating programs in the language from language descriptions, specifying the desired relationships and the feedback to be given when they are violated.
431
An overview of Miranda
TL;DR: The purpose of this short article is to give a brief overview of the main features of Miranda, and to discuss basic ideas of the Miranda programming environment.
•Journal Article
An overview of Miranda.
TL;DR: Miranda as discussed by the authors is an advanced functional programming system which runs under the UNIX operating system (UNIX) for teaching and as a general purpose programming tool, with a focus on the development of a modern functional language, embedded in a convenient programming environment.
213
Related Papers (5)
K.G. van den Berg,P.M. van den Broek +1 more
- 01 Oct 1994
Klaas van den Berg
- 23 Jun 1995
Rüdiger Lincke,Jonas Lundberg,Welf Löwe +2 more
- 20 Jul 2008
Parastoo Mohagheghi,Vegard Dehlen +1 more
- 16 May 2009