Carsten Kehler Holst

Learn More
One of the remaining problems on the path towards fully automatic partial evaluation is ensuring termination of the specialization phase. In [10] we gave a termination analysis which could be applied to partial evaluation of first-order strict languages, using a new result about inductive arguments (loosely: if whenever something grows, something gets(More)
Syntactic currying of a program is the transformation of one phase program into two phase programs. One phase programs takes all the input and produce the result, while a two phase program takes part of it input and produce a residual program as an intermediate result, when the residual program is applied to the rest of the input it computes the final(More)
  • 1