| WLPE program | | Wednesday July 31st, 2002 |
All sessions take place in auditorium 7.
WLPE's program is also available with abstracts.
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 |