WLPE accepted papers

Regular papers

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, and Mats Carlsson; Swedish Inst. of Computer Science, Sweden
Tracing and explaining execution of CLP(FD) programs

Nicos Angelopoulos, Imperial College, UK
Exporting Prolog source code

François Fages, INRIA Rocquencourt, France
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains

Göran Falkman, U Skövde, Sweden and Olof Torgersson, Chalmers U of Techn., Sweden
Enhancing usefulness of declarative programming frameworks through complete integration

Gopal Gupta, U Texas-Dallas, USA and Deepa Gopal, Logical Software Solutions, USA
Towards a logic programming based environment for automatic generation of translators

Willy Lesaint, U Orléans, France
Value withdrawal explanations: a theoretical tool for programming environments

Ulrich Neumerkel and Stefan Kral, Vienna U of Techn., Austria
Declarative program development in Prolog with GUPU

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

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

Jan Wielemaker and Anjo Anjewierden, U Amsterdam, The Netherlands
An architecture for making object-oriented systems available from Prolog