Inherited limits

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Inherited limits

Full text

Pdf (111 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. 5

Year of Publication: 1998

ISSN:0360-0300

Author

Torben Mogensen

DIKU, University of Copenhagen, Denmark

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

references index terms collaborative colleagues peer to peer

Tools and Actions:	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.289126 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	BIRKEDAL, L. AND WELINDER, M. 1993. Partial evaluation of Standard ML. Technical Report DIKU-report 93/22 (Oct.), DIKU, University of Copenhagen.
	2	DANVY, 0. 1993. On the evolution of partial evaluators. Technical report, University of Aarhus, Denmark.
	3	Olivier Danvy , Ulrik P. Schultz, Lambda-dropping: transforming recursive equations into programs with block structure, Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.90-106, June 12-13, 1997, Amsterdam, The Netherlands
	4	Dirk Dussart , Eddy Bevers , Karel De Vlaminck, Polyvariant constructor specialisation, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.54-65, June 21-23, 1995, La Jolla, California, United States [doi>10.1145/215465.215554]
	5	Dirk Dussart , Rogardt Heldal , John Hughes, Module-sensitive program specialisation, Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation, p.206-214, June 16-18, 1997, Las Vegas, Nevada, United States
	6	GOMARD, C. AND JONES, N. 1991. A partial evaluator for the untyped lambda-calculus. Journal of Functional Programming 1, 1 (January), 21-69.
	7	John Hughes, Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference, Selected Papers from the Internaltional Seminar on Partial Evaluation, p.183-215, February 12-16, 1996
	8	JONES, N. 1988. Challenging problems in partial evaluation and mixed computation. In Partial Evaluation and Mixed Computation (1988), pp. 1-14. North-Holland.
	9	Neil D. Jones , Peter Sestoft , Harald Sondergaard, An experiment in partial evaluation: the generation of a compiler generator, Proc. of the first international conference on Rewriting techniques and applications, p.124-140, December 1985, Dijon, France
	10	MOGENSEN, T. 1988. Partially static structures in a self-applicable partial evaluator. In Partial Evaluation and Mixed Computation (1988), pp. 325-347. North-Holland.
	11	MOGENSEN, T. 1992. Self-applicable partial evaluation for pure lambda calculus. In Partial Evaluation and Semantics-Based Program Manipulation 1992 (Technical Report YALEU/DCS/RR-909) (1992), pp. 116-121. Yale University.
	12	Torben Æ Mogensen, Constructor specialization, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.22-32, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154633]
	13	Torben Æ. Mogensen, Evolution of Partial Evaluators: Removing Inherited Limits, Selected Papers from the Internaltional Seminar on Partial Evaluation, p.303-321, February 12-16, 1996
	14	S. A. Romanenko, Arity raiser and use in program specialization, Proceedings of the third European symposium on programming on ESOP '90, p.341-360, May 1990, Copenhagen, Denmark