Visualizing partial evaluation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Visualizing partial evaluation

Full text

Pdf (125 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 30 , Issue 3es (September 1998) table of contents
Special issue: electronic supplement to the September 1998 issue

Article No. 24

Year of Publication: 1998

ISSN:0360-0300

Authors

Oscar Waddell	Indiana University
R. Kent Dybvig	Indiana University

Publisher

ACM New York, NY, USA

Bibliometrics

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

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/289121.289145 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	BLAZY, S. AND FACON, P. 1994. Partial evaluation for the understanding of FORTRAN programs. International Journal of Software Engineering and Knowledge Engineering 4, 4, 535-559.
	2	BONDORF, A. 1993. Similix Manual, System Version 5.0. University of Copenhagen, Denmark: DIKU.
	3	CONSEL, C. 1996. Report on Schism '96. Research report, Irisa, Rennes, France.
	4	C. Consel , L. Hornof , R. Marlet , G. Muller , S. Thibault , E.-N. Volanschi , J. Lawall , J. Noyé, Tempo: specializing systems applications and beyond, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998 [doi>10.1145/289121.289140]
	5	Olivier Danvy , Nevin Hentze , Karoline Malmkjær, Resource-bounded partial evaluation, ACM Computing Surveys (CSUR), v.28 n.2, p.329-332, June 1996 [doi>10.1145/234528.234741]
	6	Saumya Debray, Resource-bounded partial evaluation, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.179-192, June 12-13, 1997, Amsterdam, The Netherlands
	7	R. Kent Dybvig , Robert Hieb , Carl Bruggeman, Syntactic abstraction in Scheme, Lisp and Symbolic Computation, v.5 n.4, p.295-326, Dec. 1992 [doi>10.1007/BF01806308]
	8	Oscar Waddell , R. Kent Dybig, Fast and Effective Procedure Inlining, Proceedings of the 4th International Symposium on Static Analysis, p.35-52, September 08-10, 1997