The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Journal of the ACM (JACM)
Two Algorithms for Determining Volumes of Convex Polyhedra
Journal of the ACM (JACM)
Symbolic Solution of Finite-Difference Equations
ACM Transactions on Mathematical Software (TOMS)
Some MACSYMA Programs for Solving Recurrence Relations
ACM Transactions on Mathematical Software (TOMS)
An empirical study of list structure in Lisp
Communications of the ACM
List processing in real time on a serial computer
Communications of the ACM
Analyses of deterministic parsing algorithms
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
Analysis of an algorithm for real time garbage collection
Communications of the ACM
Two languages for estimating program efficiency
Communications of the ACM
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
A Case Study in Program Transformation: Translation into Polish
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
An approach is described whereby one may, with the help of a computer, perform micro-analyses of programs by constructing their time-formulas. Time-formulas are symbolic formulas which express execution times as functions of variables representing the time needed to perform common, elementary operations (e.g., addition, assignment, subscripting, loop overhead). By binding the variables to numeric values corresponding to a specific machine, one can estimate program execution times without resorting to empirical tests. Some programs which have been analyzed using the suggested approach are reviewed in this paper. These include Strassen's matrix multiplication algorithm, deterministic parsers and a certain class of straight-line programs. The software tools which are desirable for performing the suggested type of analysis are also discussed. Finally, the paper outlines some of the related research problems which are worth investigating.