Semantics-directed code generation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Semantics-directed code generation

Full text

Pdf (839 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages table of contents

New Orleans, Louisiana, United States

Pages: 315 - 324

Year of Publication: 1985

ISBN:0-89791-147-4

Author

Andrew W. Appel

Computer Science Department, Carnegie-Mellon University, Pittsburgh, PA

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 17, Citation Count: 6

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/318593.318661 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	R. M. Burstall , D. B. MacQueen , D. T. Sannella, HOPE: An experimental applicative language, Proceedings of the 1980 ACM conference on LISP and functional programming, p.136-143, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802799]
	2	Roderic Geoffrey Galton Cattell, Formalization and automatic derivation of code generators., Carnegie Mellon University, Pittsburgh, PA, 1978
	3	3. J. W. Davidson, "Simplifying Code Generation Through Peephole optimazation," TR 81-19, Department of Computer Science, University of Arizona, Tucson, Arizona (1981).
	4	Jack W. Davidson , Christopher W. Fraser, Automatic generation of peephole optimizations, Proceedings of the 1984 SIGPLAN symposium on Compiler construction, p.111-116, June 17-22, 1984, Montreal, Canada
	5	5. M. J. Gordon, A. J. Milner, and C. P. Wadsworth, Edinburgh LCF, Springer-Verlag, Berlin (1979).
	6	6. IBM, "FORTRAN IV (H) compiler program logic manual," Form Y28-6642.3, IBM, New York, NY (1968).
	7	Robert R. Kessler, Peep: an architectural description driven peephole optimizer, Proceedings of the 1984 SIGPLAN symposium on Compiler construction, p.106-110, June 17-22, 1984, Montreal, Canada
	8	8. P. D. Mosses, "SIS -- Reference and user's guide," DAIMI MD-30, computer Science Department, University of Aarhus, Denmark (1979).
	9	Lawrence Paulson, A semantics-directed compiler generator, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.224-233, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582178]
	10	10. D. S. Scott and C. Strachey, "Towards a mathematical semantics for computer languages," Proc. Symp. Computers and Automata, pp. 19-46 Polytechnic Press, (1971).
	11	Ravi Sethi, Control Flow Aspects of Semantics-Directed Compiling, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.4, p.554-595, Oct. 1983 [doi>10.1145/69575.357227]
	12	Andrew S. Tanenbaum , Hans van Staveren , Johan W. Stevenson, Using Peephole Optimization on Intermediate Code, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.21-36, Jan. 1982 [doi>10.1145/357153.357155]
	13	Mitchell Wand, Deriving Target Code as a Representation of Continuation Semantics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.3, p.496-517, July 1982 [doi>10.1145/357172.357179]
	14	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 6

	Pascal Fradet , Daniel Le Métayer, Compilation of functional languages by program transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.1, p.21-51, Jan. 1991
	Ulrik Jørring , William L. Scherlis, Compilers and staging transformations, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.86-96, January 01, 1986, St. Petersburg Beach, Florida
	Hanne R. Nielson , Flemming Neilson, Semantics directed compiling for functional languages, Proceedings of the 1986 ACM conference on LISP and functional programming, p.249-257, August 1986, Cambridge, Massachusetts, United States
	G. A. Venkatesh, A framework for construction and evaluation of high-level specifications for program analysis techniques, ACM SIGPLAN Notices, v.24 n.7, p.1-12, July 1989
	Carsten K. Gomard, A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.2, p.147-172, April 1992
	Peter Lee , Uwe Pleban, On the use of LISP in implementing denotational semantics, Proceedings of the 1986 ACM conference on LISP and functional programming, p.233-248, August 1986, Cambridge, Massachusetts, United States