Stem supercompil$ (all stems)

8 papers:

PEPM-2011-JonssonN #explosion #supercompilation

Taming code explosion in supercompilation (PAJ, JN), pp. 33–42.

ICFP-2010-Mitchell #supercompilation

Rethinking supercompilation (NM), pp. 309–320.

POPL-2009-JonssonN #call-by #higher-order #supercompilation

Positive supercompilation for a higher order call-by-value language (PAJ, JN), pp. 277–288.

IFL-2007-MitchellR #haskell

A Supercompiler for Core Haskell (NM, CR), pp. 147–164.

ILPS-1995-SorensenG #algorithm #supercompilation

An Algorithm of Generalization in Positive Supercompilation (MHS, RG), pp. 465–479.

ESOP-1994-SorensenGJ #deforestation #partial evaluation #supercompilation #towards

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC (MHS, RG, NDJ), pp. 485–500.

SAS-1994-GluckJ #deforestation #generative #supercompilation

Generating Transformers for Deforestation and Supercompilation (RG, JJ), pp. 432–448.

LFP-1982-TurchinNT

Experiments with a Supercompiler (VFT, RMN, DVT), pp. 47–55.