Presentación   Temas de interés   Comités   Conferencias Invitadas   Envío de trabajos   Artículos aceptados   Fechas importantes   Lugar de Celebración   Secretaría   JISBD 2006   Programa       Buscar       Todas las sesiones       Horario   NOVEDADES

10/6/2006    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