Poly-controlled partial evaluation and its application to resource-aware program specialization | Publicación