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/06/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