Mechanical program analysis
- 1 September 1975
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 18 (9) , 528-539
- https://doi.org/10.1145/361002.361016
Abstract
One means of analyzing program performance is by deriving closed-form expressions for their execution behavior. This paper discusses the mechanization of such analysis, and describes a system, Metric, which is able to analyze simple Lisp programs and produce, for example, closed-form expressions for their running time expressed in terms of size of input. This paper presents the reasons for mechanizing program analysis, describes the operation of Metric, explains its implementation, and discusses its limitations.Keywords
This publication has 9 references indexed in Scilit:
- Two languages for estimating program efficiencyCommunications of the ACM, 1974
- An improved program-synthesizing algorithm and its correctnessCommunications of the ACM, 1974
- User program measurement in a time-shared environmentCommunications of the ACM, 1971
- Algebraic simplificationCommunications of the ACM, 1971
- An empirical study of FORTRAN programsSoftware: Practice and Experience, 1971
- Toward automatic program synthesisCommunications of the ACM, 1971
- Structure of a LISP system using two-level storageCommunications of the ACM, 1967
- Analysis of computational systemsPublished by Association for Computing Machinery (ACM) ,1965
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960