Computer-assisted microanalysis of programs
- 1 October 1982
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 25 (10), 724-733
- https://doi.org/10.1145/358656.358674
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Two Algorithms for Determining Volumes of Convex PolyhedraJournal of the ACM, 1979
- Analyses of deterministic parsing algorithmsCommunications of the ACM, 1978
- Some MACSYMA Programs for Solving Recurrence RelationsACM Transactions on Mathematical Software, 1978
- Symbolic Solution of Finite-Difference EquationsACM Transactions on Mathematical Software, 1977
- A language for inquiring about the run-time behaviour of programsSoftware: Practice and Experience, 1977
- Verifying Program PerformanceJournal of the ACM, 1976
- Two languages for estimating program efficiencyCommunications of the ACM, 1974
- Optimal measurement points for program frequency countsBIT Numerical Mathematics, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- A Theorem on Boolean MatricesJournal of the ACM, 1962