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
|