Accepted Papers

Michael Hanus
CurryBrowser: A Generic Analysis Environment for Curry Programs

Edison Mera, Pedro Lopez-Garcia, German Puebla, Manuel Carro, and Manuel Hermenegildo
Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs

Kim Henriksen, John Gallagher
A Web-based Tool Combining Different Type Analyses

Siddharth Chitnis, Madhu Yennamani, and Gopal Gupta
ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm

Pierre DERANSART
On using Tracer Driver for External Dynamic Process Observation (extended abstract)

Alexander Serebrenik, Wim Vanhoof
Fingerprinting Logic Programs

Remko Troncon, Gerda Janssens
A Delta Debugger for ILP Query Execution

Elvira Albert, Puri Arenas, and German Puebla
Some Issues on Incremental Abstraction-Carrying Code

Hani Girgis, Bharat Jayaraman
A Logic-based Debugger for Java