12. WLPE 2002: Copenhagen, Denmark

Alexandre Tessier: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002. Computing Research Repository (CoRR)

Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson:
Tracing and Explaining Execution of CLP(FD) Programs. 1-16
Willy Lesaint:
Value withdrawal explanations: a theoretical tool for programming environments. 17-30
Samir Ouis, Narendra Jussien, Patrice Boizumault:
COINS: a constraint-based interactive solving system. 31-46
François Fages:
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. 47-62
Claudio Vaucheret, Francisco Bueno:
More Precise Yet Efficient Type Inference for Logic Programs. 63-76
Ulrich Neumerkel, Stefan Kral:
Declarative program development in Prolog with GUPU. 77-86
Gopal Gupta, Deepa Gopal: Towards a Logic Programming Based Environment for Automatic Generation of Translators. 87-88
Nicos Angelopoulos:
Exporting Prolog source code. 89-96
Jan Wielemaker, Anjo Anjewierden:
An Architecture for Making Object-Oriented Systems Available from Prolog. 97-110
Göran Falkman, Olof Torgersson:
Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration. 111-122