|
| |
10/6/06 12:00 - 14:00
PROLE Sesión 8: Program Transformation
|
FA2
Room: Astor
Chair: Marisa Navarro
|
Efficient Reductant Calculi by using Partial Evaluation Techniques with Thresholding
P. Iranzo, G. Moreno Valverde, J. Penabad Vázquez
Partial Inversion of First-Order Functional Programs
J. Almendros Jiménez, G. Vidal
Ensuring Termination of Narrowing-Driven Partial Evaluation using Size-Change Graphs
G. Arroyo, J. Guadalupe Ramos, J. Silva, G. Vidal
|
|
|
|
