|
| |
10/4/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
|
|
|
|
