Volver atrás Publicación
Albert Albiol Elvira Maria, Vidal Oriola Germán Francisco
2000
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation