A Formal Framework for the Derivation of Machine-Specific Optimizers

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Formal Framework for the Derivation of Machine-Specific Optimizers

Full text

Pdf (1.18 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 5 , Issue 3 (July 1983) table of contents

Pages: 478 - 498

Year of Publication: 1983

ISSN:0164-0925

Author

Robert Giegerich

Institut für Informatik, Technische Universität München, Postfach 202420, D-8000 München 2, W. Germany

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 20, Citation Count: 11

Additional Information:

references cited by index terms collaborative colleagues

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/2166.357219 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	AHO, A.V. Translator writing systems: Where do they now stand? Computer 8 (Aug. 1980), pp. 9-14.
	2	Alfred V. Aho , Jeffrey D. Ullman, Principles of Compiler Design (Addison-Wesley series in computer science and information processing), Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1977
	3	C. Gordon Bell , A. C. Newell, Computer structures: Readings and examples (McGraw-Hill computer science series), McGraw-Hill Pub. Co., 1971
	4	Patrick Cousot , Radhia Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.269-282, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567778]
	5	Jack W. Davidson , Christopher W. Fraser, Eliminating redundant object code, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.128-132, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582167]
	6	Jack W. Davidson , Christopher W. Fraser, The Design and Application of a Retargetable Peephole Optimizer, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.191-202, April 1980 [doi>10.1145/357094.357098]
	7	Christopher W. Fraser, A compact, machine-independent peephole optimizer, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.1-6, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567753]
	8	Susan L. Gerhart, Correctness-preserving program transformations, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.54-66, January 20-22, 1975, Palo Alto, California [doi>10.1145/512976.512983]
	9	Robert Giegerich, Automatic generation of machine specific code optimizers, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.75-81, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582162]
	10	GIEGERICH, R. Automatische Erzeugung von Maschinencode-Optimierern. Tech. Rep. TUM- I8112, Institut fiir Informatik, Technical Univ. of Munich, Munich, W. Germany, 1981.
	11	Robert Giegerich , Ulrich Möncke , Reinhard Wilhelm, Invariance of Approximate Semantics with Respect to Program Transformations, GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), p.1-10, October 20-23, 1981
	12	HmF, W. Private communication, 1980.
	13	LEVERE~r, B.W., CATTELL, R.G.G., HOBBS, S.O., NEWCOMER, J.M., REINER, A.H., SCHATZ, B.R., AND WULF, W.A. An overview of the Production Quality Compiler-Compfier project. Computer 8 (Aug. 1980), 38-49.
	14	Bruce W. Leverett , Thomas G. Szymanski, Chaining Span-Dependent Jump Instructions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.274-289, July 1980 [doi>10.1145/357103.357105]
	15	W. M. McKeeman, Peephole optimization, Communications of the ACM, v.8 n.7, p.443-444, July 1965 [doi>10.1145/364995.365000]
	16	CORPORATE Motorola, Inc. Staff, MC 68000 16-Bit Microprocessor User's Manual, Prentice Hall PTR, Upper Saddle River, NJ, 1982
	17	RIPKES, K. Formale Beschreibung von Maschinen, Implementierungen und optimierender Maschinencodeerzeugung aus attributierten Programmgraphen. Tech. Rep. TUM-INFO-7731, Institut fiir Informatik, Technical Univ. of Munich, Munich, W. Germany, 1977.
	18	William Allan Wulf , Richard K. Johnsson , Charles B. Weinstock , Steven O. Hobbs , Charles M. Geschke, The Design of an Optimizing Compiler, Elsevier Science Inc., New York, NY, 1975

CITED BY 11

	Jack W. Davidson, A retargetable instruction reorganizer, ACM SIGPLAN Notices, v.21 n.7, p.234-241, July 1986
	Jack W. Davidson , Christopher W. Fraser, Code selection through object code optimization, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.505-526, Oct. 1984
	Peter B. Kessler, Discovering machine-specific code improvements, ACM SIGPLAN Notices, v.21 n.7, p.249-254, July 1986
	Christopher W. Fraser , Alan L. Wendt, Integrating code generation and optimization, ACM SIGPLAN Notices, v.21 n.7, p.242-248, July 1986
	Ing-Jer Huang, Co-synthesis of pipelined structures and instruction reordering constraints for instruction set processors, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.6 n.1, p.93-121, Jan. 2001
	Harald Ganzinger , Robert Giegerich, Attribute coupled grammars, ACM SIGPLAN Notices, v.19 n.6, p.157-170, June 1984
	Jack W. Davidson , Christopher W. Fraser, Automatic generation of peephole optimizations, ACM SIGPLAN Notices, v.19 n.6, p.111-116, June 1984
	I.-J. Huang , A. M. Despain, High level synthesis of pipelined instruction set processors and back-end compilers, Proceedings of the 29th ACM/IEEE conference on Design automation, p.135-140, June 08-12, 1992, Anaheim, California, United States
	Ron Cytron , Jeanne Ferrante , Barry K. Rosen , Mark N. Wegman , F. Kenneth Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.451-490, Oct. 1991
	Jack W. Davidson , Christopher W. Fraser, Automatic generation of peephole optimizations, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Jack W. Davidson , Christopher W. Fraser, Automatic generation of peephole optimizations, ACM SIGPLAN Notices, v.39 n.4, April 2004