WLPE program

Wednesday July 31st, 2002

All sessions take place in auditorium 7.

WLPE's program is also available with abstracts or side by side with other meetings.

09:00-10:30  Session 1: Constraints
Chair: Alexandre Tessier

09:00  Magnus Ĺgren, Tamás Szeredi, Nicolas Beldiceanu, and Mats Carlsson; Swedish Inst. of Computer Science, Sweden
Tracing and explaining execution of CLP(FD) programs
09:30  Samir Ouis, Ecole des Mines de Nantes, France; Narendra Jussien, Ecole des Mines de Nantes, France; and Patrice Boizumault, U Caen, France
COINS: a constraint-based interactive solving system
10:00  Willy Lesaint, U Orléans, France
Value withdrawal explanations: a theoretical tool for programming environments

10:30-11:00  Refreshments

11:00-12:30  Session 2: Constraints, Object-oriented
Chair: German Puebla

11:00  François Fages, INRIA Rocquencourt, France
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains
11:30  Jan Wielemaker and Anjo Anjewierden, U Amsterdam, The Netherlands
An architecture for making object-oriented systems available from Prolog
12:00  Göran Falkman, U Skövde, Sweden and Olof Torgersson, Chalmers U of Techn., Sweden
Enhancing usefulness of declarative programming frameworks through complete integration

12:30-14:00  Lunch

14:00-15:30  Session 3: Logic programming
Chair: Anthony J. Kusalik

14:00  Ulrich Neumerkel and Stefan Kral, Vienna U of Techn., Austria
Declarative program development in Prolog with GUPU
14:30  Gopal Gupta, U Texas-Dallas, USA and Deepa Gopal, Logical Software Solutions, USA
Towards a logic programming based environment for automatic generation of translators
15:00  Nicos Angelopoulos, Imperial College, UK
Exporting Prolog source code

15:30-16:00  Refreshments

16:00-16:30  Session 4: Abstract interpretation
Chair: Mireille Ducassé

16:00  Claudio Vaucheret and Francisco Bueno, Techn. U of Madrid, Spain
More precise yet efficient type inference for logic programs