Volver atrás Publicación
Tamarit Muñoz Salvador, Vidal Oriola Germán Francisco
2009
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation