Resource-bounded partial evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Resource-bounded partial evaluation

Full text

Pdf (163 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 28 , Issue 2 (June 1996) table of contents

Pages: 329 - 332

Year of Publication: 1996

ISSN:0360-0300

Authors

Olivier Danvy	Aarhus Univ., Aarhus C, DK
Nevin Hentze	AT&T Bell Labs., Murray Hill, NJ
Karoline Malmkjær	Aarhus Univ., Aarhus C, DK

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 21, Citation Count: 4

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/234528.234741 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	Charles Consel , Olivier Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.493-501, March 1993, Charleston, South Carolina, United States [doi>10.1145/158511.158707]
	2	Olivier Danvy, Type-directed partial evaluation, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.242-257, January 21-24, 1996, St. Petersburg Beach, Florida, United States [doi>10.1145/237721.237784]
	3	JONES, N. D., ED. 1993. SpecialIssue on Partial Evaluation, J. Funct. Program. 3, (July).
	4	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	5	JONES, N. D., SESTOFT, P., AND SONDERGAARD, H. 1989. MIX: A self-applicable partial evaluator for experiments in compiler generation. LISP Symbol. Comput. 2, 1, 9-50.
	6	John Launchbury, Projection factorisations in partial evaluation, Cambridge University Press, New York, NY, 1991
	7	SESTOFT, P. AND SONDERGAARD, H., EDS. 1993. Special Issue on Partial Evaluation. LISP Symbolic Comput. 8, 3.

CITED BY 4

	Olivier Danvy , Ulrik P. Schultz, Lambda-dropping: transforming recursive equations into programs with block structure, ACM SIGPLAN Notices, v.32 n.12, p.90-106, Dec. 1997
	Saumya Debray, Resource-bounded partial evaluation, ACM SIGPLAN Notices, v.32 n.12, p.179-192, Dec. 1997
	Oscar Waddell , R. Kent Dybvig, Visualizing partial evaluation, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998
	Olivier Danvy , Mayer Goldberg, Partial Evaluation of the Euclidian Algorithm, Lisp and Symbolic Computation, v.10 n.2, p.101-111, July 1997