![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
12th WLPE 2002: Copenhagen, Denmark
- Alexandre Tessier:
Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002. 2002 - 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. WLPE 2002: 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.