7 search results - page 2 / 2 » pepm 1998 |
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
PEPM
1998
ACM
13 years 9 months ago
1998
ACM
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 ide...