Staging transformations for abstract machines

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Staging transformations for abstract machines

Full text

Pdf (1.28 MB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

New Haven, Connecticut, United States

Pages: 130 - 141

Year of Publication: 1991

ISBN:0-89791-433-3

Also published in ...

Author

John Hannan

Department of Computer Science, University of Copenhagen, DIKU, Universitetsparken 1, DK-2100 Copenhagen ø, Denmark

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/115865.115879 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	A. Bondorf, Automatic autoprojection of higher order recursive equations, Proceedings of the third European symposium on programming on ESOP '90, p.70-87, May 1990, Copenhagen, Denmark
	2	BONDORF, A., AND DANVY, O. Automatic Autoprojec. tion of Recursive Equations with Global Variables and Abstract Data Types. Tech. Rep. 90/4, DIKU, University of Copenhagen, 1990.
	3	G. Cousineau , P.-L. Curien, The categorical abstract machine, Science of Computer Programming, v.8 n.2, p.173-202, April 1, 1987 [doi>10.1016/0167-6423(87)90020-7]
	4	John Hannan , Dale Miller, From operational semantics to abstract machines: preliminary results, Proceedings of the 1990 ACM conference on LISP and functional programming, p.323-332, June 27-29, 1990, Nice, France [doi>10.1145/91556.91680]
	5	HOLST, N. C. K., AND HUGHES, J. Towards binding time improvements for free. In Third Annual Glasgow Workshop on Functional Programming, Draft Proceedings, Ullapool, Scotland (Aug. 1990), pp. 135-144.
	6	Neil D. Jones, Semantics-Directed Compiler Generation: Proceedings, Springer-Verlag New York, Inc., Secaucus, NJ, 1980
	7	JONES, N., SESTOFT, P., AND SONDERGAARD, H. MIX: a self-applicable partial evaluator for experiments in compiler generation. Journal of LISP and Symbolic Computation 2, 1 (1989.), 9-50.
	8	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 [doi>10.1145/512644.512652]
	9	R. Kelsey , P. Hudak, Realistic compilation by program transformation (detailed summary), Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.281-292, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75302]
	10	P. Kursawe, How to invent a prolog machine, New Generation Computing, v.5 n.1, p.97-114, April 1987 [doi>10.1007/BF03037460]
	11	LANDIN, P. J. The mechanical evaluation of expressions. Computer Journal 6, 5 (1964), 308-320.
	12	Peter Lee, Realistic compiler generation, MIT Press, Cambridge, MA, 1989
	13	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]
	14	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]
	15	Mitchell Wand, Semantics-directed machine architecture, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.234-241, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582179]

CITED BY 3

	John Hannan, On extracting static semantics, The essence of computation: complexity, analysis, transformation, Springer-Verlag New York, Inc., New York, NY, 2002
	John Hannan, Operational semantics-directed compilers and machine architectures, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.4, p.1215-1247, July 1994
	John Hannan, Searching for semantics, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.1-12, June 14-16, 1993, Copenhagen, Denmark