Gabriel Kerneis (ENST - PPS)

Continuation Passing C et le lambda-lifting de variables impératives

CPC (Continuation Passing C) est un transformateur de programmes qui 
transforme un programme écrit en un C augmenté de primitives de 
concurrence en C séquentiel. Ce faisant, il transforme un programme écrit 
en un style  « processus légers » en un programme à événements, plus 
efficace.

Après avoir évalué les performances de CPC sur un exemple concret (serveur 
web), nous détaillerons son fonctionnement et étudierons la correction des 
transformations effectuées. Nous nous attacherons plus particulièrement au 
cas du lambda-lifting de variables impératives.