Poly-controlled partial evaluation and its application to resource-aware program specialization

Aquesta tesi apareix a les col·leccions següents