Using Types to Avoid Redundant Specialization

Existing partial evaluators use a strategy called poly-variant specialization, which involves specializing program points on the known portions of their arguments, and re-using such specializations only when these known portions match exactly. We show that this re-use criterion is overly restrictive, and misses opportunities for sharing in residual programs, thus producing large residual programs containing redundant specializations. They develop a criterion for re-use based on computing the domains of specializations, and describe an approximate implementation of this criterion based on types, and its implementation in their partial evaluation system, FUSE. Finally, we relate the algorithm to existing work in partial evaluation and machine learning.

fuse-memo-91-5.ps
PostScript file

In  PEPM '91

Publisher  Association for Computing Machinery, Inc.
Copyright © 1991 by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org. The definitive version of this paper can be found at ACM’s Digital Library –http://www.acm.org/dl/.

Details

TypeInproceedings
URLhttp://www.acm.org/
> Publications > Using Types to Avoid Redundant Specialization