Memoization in type-directed partial evaluation

Memoization in type-directed partial evaluation (2002)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Vincent Balat , Olivier Danvy

Venue:	Proceedings of the 2002 ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, number 2487 in Lecture Notes in Computer Science
Citations:	14 - 6 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Memoization in type-directed partial evaluation	INFERENCE
AUTHOR NAME	Vincent Balat	SVM HeaderParse 0.2
AUTHOR AFFIL	1 PPS, Université Paris VII – Denis Diderot	SVM HeaderParse 0.2
AUTHOR ADDR	Case 7014, 2 place Jussieu, F-75251 Paris Cedex 05, France	SVM HeaderParse 0.2
AUTHOR NAME	Olivier Danvy	SVM HeaderParse 0.2
AUTHOR AFFIL	1 PPS, Université Paris VII – Denis Diderot	SVM HeaderParse 0.2
AUTHOR ADDR	Case 7014, 2 place Jussieu, F-75251 Paris Cedex 05, France	SVM HeaderParse 0.2
ABSTRACT	Abstract. We use a code generator—type-directed partial evaluation— to verify conversions between isomorphic types, or more precisely to verify that a composite function is the identity function at some complicated type. A typed functional language such as ML provides a natural support to express the functions and type-directed partial evaluation provides a convenient setting to obtain the normal form of their composition. However, off-the-shelf type-directed partial evaluation turns out to yield gigantic normal forms. We identify that this gigantism is due to redundancies, and that these redundancies originate in the handling of sums, which uses delimited continuations. We successfully eliminate these redundancies by extending type-directed partial evaluation with memoization capabilities. The result only works for pure functional programs, but it provides an unexpected use of code generation and it yields orders-of-magnitude improvements both in time and in space for type isomorphisms. 1	SVM HeaderParse 0.2
YEAR	2002	INFERENCE
VENUE	Proceedings of the 2002 ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, number 2487 in Lecture Notes in Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	78--92	INFERENCE
VOLUME	2487	INFERENCE
CITATIONS	45 found	ParsCit 1.0