Computer-assisted microanalysis of programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Computer-assisted microanalysis of programs

Full text

Pdf (827 KB)

Source

Communications of the ACM archive
Volume 25 , Issue 10 (October 1982) table of contents

Pages: 724 - 733

Year of Publication: 1982

ISSN:0001-0782

Author

Jacques Cohen

Brandeis Univ., Waltham, Massachusetts

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 21, Citation Count: 14

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/358656.358674 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Alfred V. Aho , John E. Hopcroft, The Design and Analysis of Computer Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1974
	2	Boris Beizer, Micro-Analysis of Computer System Performance, John Wiley & Sons, Inc., New York, NY, 1978
	3	Bentley, J.L., Haken, D., and Saxe, J.B. A general method for solving divide and conquer recurrences. Rept. 78-154, Dep. Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pa., Dec. 1978.
	4	Robert S. Boyer , Bernard Elspas , Karl N. Levitt, SELECT—a formal system for testing and debugging programs by symbolic execution, Proceedings of the international conference on Reliable software, p.234-245, April 21-23, 1975, Los Angeles, California
	5	Cheatham, T.E., Holloway, G.H., and Townley, J.A. Symbolic evaluation and the analysis of programs. IEEE Trans. Softw. Eng., SE-5, 4 (July 1979), 402-417.
	6	Cohen, J., and Carpenter, N. A language for inquiring about the behavior of programs. Software--Practice and Experience, 7 (1977), 445-460.
	7	Jacques Cohen , Timothy Hickey, Two Algorithms for Determining Volumes of Convex Polyhedra, Journal of the ACM (JACM), v.26 n.3, p.401-414, july 1979 [doi>10.1145/322139.322141]
	8	Jacques Cohen , Joel Katcoff, Symbolic Solution of Finite-Difference Equations, ACM Transactions on Mathematical Software (TOMS), v.3 n.3, p.261-271, Sept. 1977 [doi>10.1145/355744.355751]
	9	Jacques Cohen , Martin S. Roth, Analyses of deterministic parsing algorithms, Communications of the ACM, v.21 n.6, p.448-458, June 1978 [doi>10.1145/359511.359517]
	10	Cohen, J., and Roth, M. On the implementation of Strassen's fast multiplication algorithm. Acta lnf., 6, 4 (1976), 341-355.
	11	Cohen, J., and Sitver, R. A case study in program transformation: Translation into Polish. IEEE Trans. Softw. Eng. SE- 5, 6 (Nov. 1979), 593-606.
	12	Cohen, J., Sitver, R., and Auty, D. Evaluating and improving recursive descent parsers. IEEE Trans. Soflw. Eng., SE-5, 5 (Sept. 1979), 472-480.
	13	Jacques Cohen , Carl Zuckerman, Two languages for estimating program efficiency, Communications of the ACM, v.17 n.6, p.301-308, June 1974 [doi>10.1145/355616.361015]
	14	Floyd, R.W. Assigning meaning to programs. In Proc. AMS Symposia in Applied Mathematics, 19 (1967), 19-32.
	15	Gosper, R.W. Decision procedure for indefinite hypergeometric summation. Proc. Nat. Acad. Sci., 75, 1 (Jan. 1978), 40--42.
	16	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	17	Ingalls, D. The Execution Time Profile as a Programming Tool, in Design and Optimization of Compilers, R. Rustin (Ed.) Prentice-Hall, Englewood Cliffs, N.J. 1972, 107-128.
	18	John Ivie, Some MACSYMA Programs for Solving Recurrence Relations, ACM Transactions on Mathematical Software (TOMS), v.4 n.1, p.24-33, March 1978 [doi>10.1145/355769.355772]
	19	Jonassen, A.T., and Knuth, D.E. A trivial algorithm whose analysis isn't. J. Comput. Syst. Sci., 16 (1978), 301-322.
	20	James C. King, Symbolic execution and program testing, Communications of the ACM, v.19 n.7, p.385-394, July 1976 [doi>10.1145/360248.360252]
	21	Donald E. Knuth, The art of computer programming, volume 1 (3rd ed.): fundamental algorithms, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1997
	22	Knuth, D.E. Mathematical analysis of algorithms. In Proc. 1971 IFIP Congress, Elsevier Science, New York (1972), 19-27.
	23	Knuth, D.E., and Stevenson, F.R. Optimal measurement points for program frequency counts. BIT, 13 (1973), 313-322.
	24	Kozen, D. Semantics of probabilistic programs. Rep. RC 7581 (32819), IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y., Mar. 1979.
	25	Math Lab Group: Macsyma Reference Manual, version 9. Lab. Computer Science, Massachusetts Inst. Technology, Cambridge, Dec. 1977.
	26	Monier, L. Combinatorial solutions of multidimensional divideand-conquer recurrences. Rep. 79-126, Dep. Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pa., May 1979.
	27	C. V. Ramamoorthy, Analysis of computational systems: Discrete Markov analysis of computer programs, Proceedings of the 1965 20th national conference, p.386-392, August 24-26, 1965, Cleveland, Ohio, United States [doi>10.1145/800197.806061]
	28	Lyle Harold Ramshaw, Formalizing the analysis of algorithms., 1979
	29	Strassen, V. Gaussian elimination is not optimal. Numer. Math. 13 (1969), 354-356.
	30	Stephen Warshall, A Theorem on Boolean Matrices, Journal of the ACM (JACM), v.9 n.1, p.11-12, Jan. 1962 [doi>10.1145/321105.321107]
	31	Wegbreit, B. Goal-directed program transformation. 1EEE Trans. Softw. Eng., SE-2, 2 (June 1976), 69-80.
	32	Ben Wegbreit, Mechanical program analysis, Communications of the ACM, v.18 n.9, p.528-539, Sept. 1975 [doi>10.1145/361002.361016]
	33	Ben Wegbreit, Verifying Program Performance, Journal of the ACM (JACM), v.23 n.4, p.691-699, Oct. 1976 [doi>10.1145/321978.321987]

CITED BY 14

	Bin Qin , Howard A. Sholl , Reda A. Ammar, Micro Time Cost Analysis of Parallel Computations, IEEE Transactions on Computers, v.40 n.5, p.613-628, May 1991
	Jacques Cohen , Alexandru Nicolau, Comparison of Compacting Algorithms for Garbage Collection, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.532-553, Oct. 1983
	Tim Hickey , Jacques Cohen, Performance analysis of on-the-fly garbage collection, Communications of the ACM, v.27 n.11, p.1143-1154, Nov. 1984
	Bin Qin, Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources, IEEE Transactions on Software Engineering, v.19 n.10, p.976-981, October 1993
	A. Aiken , A. Nicolau, A development environment for horizontal microcode programs, ACM SIGMICRO Newsletter, v.17 n.4, p.23-31, Dec. 1986
	Timothy Hickey , Jacques Cohen, Automating program analysis, Journal of the ACM (JACM), v.35 n.1, p.185-220, Jan. 1988
	Timothy J. Hickey , Jacques Cohen , Hirofumi Hotta , Thierry PetitJean, Computer-assisted microanalysis of parallel programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.1, p.54-106, Jan. 1992
	Mads Rosendahl, Automatic complexity analysis, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.144-156, September 11-13, 1989, Imperial College, London, United Kingdom
	Brian Reistad , David K. Gifford, Static dependent costs for estimating execution time, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.65-78, July-Sept. 1994
	Daniel Le Métayer, ACE: an automatic complexity evaluator, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.2, p.248-266, April 1988
	Gustavo Gómez , Yanhong A. Liu, Automatic time-bound analysis for a higher-order language, ACM SIGPLAN Notices, v.37 n.3, p.75-86, March 2002
	David Hildum , Jacques Cohen, A Language for Specifying Program Transformations, IEEE Transactions on Software Engineering, v.16 n.6, p.630-638, June 1990
	Y. A. Liu , G. Gómez, Automatic Accurate Cost-Bound Analysis for High-Level Languages, IEEE Transactions on Computers, v.50 n.12, p.1295-1309, December 2001
	A. Aiken , A. Nicolau, A Development Environment for Horizontal Microcode, IEEE Transactions on Software Engineering, v.14 n.5, p.584-594, May 1988