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/04/2006    17:00 - 19:00
PROLE Sesión 3: Program Analysis
WE3
Room: Astor
Chair: Francisco J. López Fraguas
Towards a Dependency Pair Framework for Context-Sensitive Rewriting
B. Alarcón, R. Gutiérrez, S. Lucas


Term Dependence Graphs
D. Cheda, J. Silva, G. Vidal


Reduced Certificates for Abstraction-Carrying Code
E. Albert, P. Arenas, G. Puebla, M. Hermenegildo


Proving Termination of Context-Sensitive Rewriting with MU-TERM
B. Alarcón, R. Gutiérrez, J. Iborra, S. Lucas