Workshop Programme
Friday 12th, 2008, Sala Florio


Session 0: 9:30 - 10:45
9:30 - 10:45
Invited Talk: Andy King
Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry


Session 1: 11:10 - 12:50
11:10 - 11:35
Yoshihiro Adachi
Prolog Visualization System Using Logichart Diagrams


11:35 - 12:00
Jens Bendisposto, Ian Endrijautzki, Michael Leuschel and David Schneider
A Semantics-Aware Editing Environment for Prolog in Eclipse


12:00 - 12:25
Miguel Gómez-Zamalloa, Elvira Albert and Germán Puebla
On the Generation of Test Data for Prolog by Partial Evaluation


12:25 - 12:50
Markus Triska, Ulrich Neumerkel and Jan Wielemaker
Better Termination for Prolog with Constraints


Session 2: 14:00 - 15:40
14:00 - 14:25
Victor Pablos Ceruelo, Susana Muñoz Hernández and Hannes Strass
Rfuzzy framework


14:25 - 14:50
Michael Leuschel, Salvador Tamarit and Germán Vidal
Improving Size-Change Analysis in Offline Partial Evaluation


14:50 - 15:15
Francisco Javier López-Fraguas, Juan Rodríaguez-Hortalá and Jaime Sánchez-Hernández
A Lightweight Combination of Semantics for Non-deterministic Functions


15:15 - 15:40
Adrian Prantl, Jens Knoop, Markus Schordan and Markus Triska
Constraint solving for high-level WCET analysis