Tag #supercompilation
7 papers:
PEPM-2011-JonssonN #explosion- Taming code explosion in supercompilation (PAJ, JN), pp. 33–42.
Haskell-2010-BolingbrokeJ #evaluation- Supercompilation by evaluation (MCB, SLPJ), pp. 135–146.
ICFP-2010-Mitchell - Rethinking supercompilation (NM), pp. 309–320.
POPL-2009-JonssonN #call-by #higher-order- Positive supercompilation for a higher order call-by-value language (PAJ, JN), pp. 277–288.
ILPS-1995-SorensenG #algorithm- An Algorithm of Generalization in Positive Supercompilation (MHS, RG), pp. 465–479.
SAS-1994-GluckJ #deforestation #generative- Generating Transformers for Deforestation and Supercompilation (RG, JJ), pp. 432–448.
ESOP-1994-SorensenGJ #deforestation #partial evaluation #towards- Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.
