Polyvariant specialisation for higher-order, block-structured languages

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Polyvariant specialisation for higher-order, block-structured languages

Full text

Pdf (1.15 MB)

Source

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

La Jolla, California, United States

Pages: 66 - 76

Year of Publication: 1995

ISBN:0-89791-720-0

Authors

Karoline Malmkjær	DAIMI, University of Aarhus
Peter Ørbæk	DAIMI, University of Aarhus, Computer Science Department, Ny Munkegade, Building 540, DK-8000 Aarhus C, Denmark

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 3

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/215465.215558 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.

	ASU86	Alfred V. Aho , Ravi Sethi , Jeffrey D. Ullman, Compilers: principles, techniques, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1986
	BD91	Anders Bondorf , Olivier Danvy, Automatic autoprojection of recursive equations with global variable and abstract data types, Science of Computer Programming, v.16 n.2, p.151-195, Sept. 1991 [doi>10.1016/0167-6423(91)90002-F]
	BJ93	A. Bondorf and J. Jorgensen. Efficient analyses for realistic off-line partial evaluation. Journal of Functional Programming, 3(3):315-346, July 1993.
	Bon91	Anders Bondorf, Automatic autoprojection of higher order recursive equations, Science of Computer Programming, v.17 n.1-3, p.3-34, Dec. 1991
	Bon92	A. Bondorf, May 1992. Personal communication.
	BW93	L. Birkedal and M. Welinder. Partial evaluation of Standard ML. Master's thesis, DIKU, University of Copenhagen, Denmark, 1993. DIKU Research Report 93/22.
	BW94	Lars Birkedal , Morten Welinder, Hand-Writing Program Generator Generators, Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, p.198-214, September 14-16, 1994
	CD93	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]
	Con93	Charles Consel, A tour of Schism: a partial evaluation system for higher-order applicative languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.145-154, June 14-16, 1993, Copenhagen, Denmark [doi>10.1145/154630.154645]
	Dan89	O. Danvy. unpublished, 1989. Personal communication, 1991.
	Dan95	O. Danvy. Lambda-dropping: 1Lransforming recursive equations into programs with block structure. DART 252, Computer Science Department, Aarhus University, Aarhus, Denmark, January 1995.
	Gom89	C.K. Gomard. Higher order partial evaluation - HOPE for the lambda calculus. Master's thesis, DIKU, University of Copenhagen, Denmark, September 1989.
	Hei94	Nevin Heintze, Set-based analysis of ML programs, Proceedings of the 1994 ACM conference on LISP and functional programming, p.306-317, June 27-29, 1994, Orlando, Florida, United States
	JGS93	Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
	Joh85	Thomas Johnsson, Lambda lifting: transforming programs to recursive equations, Proc. of a conference on Functional programming languages and computer architecture, p.190-203, January 1985, Nancy, France
	MHD94	K. Malmkjaer, N. Heintze, and O. Danvy. ML partial evaluation using set:-based analysis. In Record of the 199~ A CM SIGPLAN Workshop on ML and its Apphcatzons, Orlando, Flomda, pages 112-119. INRIA, June 1994. Rapport de Recherche No. 2265.
	Mos70	Joel Moses. The function of FUNCTION in LISP, or why the FUNARG problem should be called the environment problem. Project MAC, MIT Artificial Intelligence Memo 199, MIT, Cambridge, MA, June 1970.
	Ruf93	Erik Steven Ruf, Topics in online partial evaluation, Stanford University, Stanford, CA, 1993
	RW91	Erik Ruf , Daniel Weise, Using types to avoid redundant specialization, ACM SIGPLAN Notices, v.26 n.9, p.321-333, Sept. 1991
	RW93	E. Ruf and D. Weise. On the specialization of online program specializers. Journal of Functional Programming, 3(3):251-281, July 1993.
	Ses86	Peter. Sestoft, The structure of a self-applicable partial evaluator, on Programs as data objects, p.257-281, April 1986, Copenhagen, Denmark
	Tur86a	Valentin F. Turchin, The concept of a supercompiler, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.3, p.292-325, July 1986 [doi>10.1145/5956.5957]
	Tur86b	Valentin. F. Turchin, Program transformation by supercompilation, on Programs as data objects, p.257-281, April 1986, Copenhagen, Denmark
	WCRS91	Daniel Weise , Roland Conybeare , Erik Ruf , Scott Seligman, Automatic online partial evaluation, Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, p.165-191, June 1991, Cambridge, Massachusetts, United States
	Ørb94	P. Orbaek. POPE. In O. Danvy, editor, A Partial-Evaluation Seminar, Aarhus, Denmark, 1904. Camputev gci~rlc~ Department, Aarl~us University, DAIMI. To appear.

CITED BY 3

	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
	John Hughes, Type specialization, ACM Computing Surveys (CSUR), v.30 n.3es, Sept. 1998
	Charles Consel , Julia L. Lawall , Anne-Françoise Le Meur, A tour of tempo: a program specializer for the C language, Science of Computer Programming, v.52 n.1-3, p.341-370, August 2004