An axiomatic approach to code optimization for expressions

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An axiomatic approach to code optimization for expressions

Full text

Pdf (1.45 MB)

Source

Journal of the ACM (JACM) archive
Volume 19 , Issue 4 (October 1972) table of contents

Pages: 613 - 640

Year of Publication: 1972

ISSN:0004-5411

Author

James C. Beatty

Dept. D76, Systems Development Division, International Business Machines Corporation, P.O. Box 390, South Road, Poughkeepsie, NY and International Business Machines Corporation, San Jose, California

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 25, Citation Count: 13

Additional Information:

references cited by index terms

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/321724.321728 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	Harold S. Stone, One-Pass compilation of arithmetic expressions for a parallel processor, Communications of the ACM, v.10 n.4, p.220-223, April 1967 [doi>10.1145/363242.363256]
	2	R. W. Allard , K. A. Wolf , R. A. Zemlin, Some effects of the 6600 computer on language structures, Communications of the ACM, v.7 n.2, p.112-119, Feb. 1964 [doi>10.1145/363921.363940]
	3	HELLERMAN, H. Parallel processing of algebraic equations. IEEE Trans. EC-15, 1 (Feb. 1966), 82-91.
	4	BAER, J. L., AND BOVET, D .P . Compilation of arithmetic expressions for parallel computations. Proc. IFIP Cong. 1968, Vol. 1, North-Holland Pub. Co., Amsterdam, 1969, pp. 340-346.
	5	SQVIRE, J. S. A translation algorithm for a multiprocessor computer. Internal memorandum, Information Systems Lab., Dep. of Elect. Eng., U. of Michigan, Ann Arbor, Mich., Aug. 1963.
	6	Ravi Sethi , J. D. Ullman, The Generation of Optimal Code for Arithmetic Expressions, Journal of the ACM (JACM), v.17 n.4, p.715-728, Oct. 1970 [doi>10.1145/321607.321620]
	7	American National Standard FORTRAN (ANS X3.9-1966). American National Standards Institute, New York, 1966.
	8	LucAs, P., WALK, K., ET. AL. PL/I ULD Version I I I (formal definition of PL/I). Tech. Reps. TR 25.095, TR 25.096, TR 25.097, TR 25.098, TR 25.099, IBM Laboratory, Vienna.

CITED BY 13

	Otto C. Juelich , Clinton R. Foulk, Compilation of Acyclic Smooth Programs for Parallel Execution, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.1, p.24-48, Jan. 1981
	A. V. Aho , S. C. Johnson , J. D. Ullman, Code-generation for machines with multiregister operations, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.21-28, January 17-19, 1977, Los Angeles, California
	Christoph M. Hoffmann , Lawrence H. Landweber, A Completeness Theorem for Straight-Line Programs with Structured Variables, Journal of the ACM (JACM), v.23 n.1, p.203-220, Jan. 1976
	Richard P. Brent, The Parallel Evaluation of General Arithmetic Expressions, Journal of the ACM (JACM), v.21 n.2, p.201-206, April 1974
	John Bruno , Ravi Sethi, Code Generation for a One-Register Machine, Journal of the ACM (JACM), v.23 n.3, p.502-510, July 1976
	John L. Hennessy , Thomas Gross, Postpass Code Optimization of Pipeline Constraints, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.3, p.422-448, July 1983
	A. V. Aho , S. C. Johnson, Optimal Code Generation for Expression Trees, Journal of the ACM (JACM), v.23 n.3, p.488-501, July 1976
	A. V. Aho , S. C. Johnson, Optimal code generation for expression trees, Proceedings of seventh annual ACM symposium on Theory of computing, p.207-217, May 05-07, 1975, Albuquerque, New Mexico, United States
	James C. Beatty, Erratum: “An axiomatic approach to code optimization for expressions”, Journal of the ACM (JACM), v.20 n.3, p.538, July 1973
	James C. Beatty, Errata: “An axiomatic approach to code optimization for Expressions”, Journal of the ACM (JACM), v.20 n.1, p.188, Jan. 1973
	Ravi Sethi, Complete register allocation problems, Proceedings of the fifth annual ACM symposium on Theory of computing, p.182-195, April 30-May 02, 1973, Austin, Texas, United States
	David J. Kuck, A Survey of Parallel Machine Organization and Programming, ACM Computing Surveys (CSUR), v.9 n.1, p.29-59, March 1977
	Jerry L. Apperson, Optimal evaluation order for expressions with redundant subexpressions, ACM SIGPLAN Notices, v.8 n.6, June 1973

INDEX TERMS

Primary Classification:
I. Computing Methodologies
I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

Additional Classification:
F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

General Terms:
Algorithms, Languages, Measurement, Performance, Theory, Verification

Adobe Acrobat

QuickTime

Windows Media Player

Real Player