Bibliographic Details
| Title: |
Mechanical Program Analysis. |
| Authors: |
Wegbreit, Ben |
| Source: |
Communications of the ACM. Sep75, Vol. 18 Issue 9, p528-539. 12p. 1 Diagram. |
| Subjects: |
Metric system, List processing (Electronic computers), Computer network design & construction |
| Abstract: |
Discusses the mechanization of program performance analysis deriving closed-form expressions for their execution behavior. Ability of the metric system to analyze simple LISP programs and procedure; Reasons for mechanizing program analysis; Operation, implementation and limitations of the metric system. |
| Database: |
Engineering Source |
