Mechanical program analysis

Name: Mechanical program analysis
Creator: Ben Wegbreit
Keywords: 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Ben Wegbreit

Found an issue? Give us feedback

Communications of th...arrow_drop_down

Communications of the ACM

Article . 1975 . Peer-reviewed

License: https://www.acm.org/publications/policies/copyright_policy#Background

Data sources: Crossref

zbMATH Open

Article

Data sources: zbMATH Open

DBLP

Article

Data sources: DBLP

https://dx.doi.org/10.1145/361...

Article

Data sources: Microsoft Academic Graph

Mechanical program analysis

descriptionPublicationkeyboard_double_arrow_right Article 01 Sep 1975 English Publisher:Association for Computing Machinery (ACM)Journal:Communications of the ACM, volume 18, pages 528-539 (issn: 0001-0782, eissn: 1557-7317,

Copyright policy )

Authors: Ben Wegbreit;

doi: 10.1145/361002.361016

Mechanical program analysis

- Summary
- Subjects
- Metrics

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.

Related Organizations

Palo Alto Research Center
United States

Keywords

General topics in the theory of software

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	188
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%