Accepted Papers 
- Yoshihiro Adachi
Prolog Visualization System Using
Logichart Diagrams
- Jens Bendisposto, Ian Endrijautzki, Michael Leuschel and David
Schneider
A Semantics-Aware Editing Environment for Prolog in
Eclipse
- Victor Pablos Ceruelo, Susana Muñoz Hernández and
Hannes Strass
Rfuzzy framework
- Miguel Gómez-Zamalloa, Elvira Albert and Germán
Puebla
On the Generation of Test Data for Prolog by Partial
Evaluation
- Michael Leuschel, Salvador Tamarit and Germán Vidal
Improving Size-Change Analysis in Offline Partial Evaluation
- Francisco Javier López-Fraguas, Juan
Rodríguez-Hortalá and Jaime
Sánchez-Hernández
A Lightweight Combination of
Semantics for Non-deterministic Functions
- Adrian Prantl, Jens Knoop, Markus Schordan and Markus Triska
Constraint solving for high-level WCET analysis
- Markus Triska, Ulrich Neumerkel and Jan Wielemaker
Better
Termination for Prolog with Constraints
|