@inproceedings{LOPSTR-2006-ArroyoRSV,
author = "Gustavo Arroyo and J. Guadalupe Ramos and Josep Silva and Germán Vidal",
booktitle = "{Revised Selected Papers of the 16th International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-540-71410-1_6",
isbn = "978-3-540-71409-5",
pages = "60--76",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs}",
volume = 4407,
year = 2006,
}
Tags: