Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | William Heaven, Alessandra Russo |
Enhancing the Alloy Analyzer with Patterns of Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 14-30, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Alexander Serebrenik, Susana Muñoz-Hernández (eds.) |
Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé |
Proving or Disproving likely Invariants with Constraint Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 1-13, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Étienne Payet, Frédéric Mesnard |
An Improved Non-Termination Criterion for Binary Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 46-60, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Germán Puebla, Manuel V. Hermenegildo, Elvira Albert |
A Generic Framework for the Analysis and Specialization of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 61-76, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Claudio Vaucheret |
Extending Prolog with Incomplete Fuzzy Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 77-93, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
A Study of Set-Sharing Analysis via Clique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 31-45, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ludovic Langevine, Mireille Ducassé |
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 94-110, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Susana Muñoz-Hernández, José Manuél Gómez-Pérez (eds.) |
Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Qian Wang 0024, Gopal Gupta 0001 |
A Logic Programming-based Environment for Integrating Architecture Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Dávid Hanák, Tamás Szeredi |
FDBG, the CLP(FD) Debugger Library of SICStus Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Henning Christiansen 0001, Verónica Dahl |
Assumptions and Abduction in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Vítor Beires Nogueira, Salvador Abreu, Gabriel David |
Towards Temporal Reasoning in Constraint Contextual Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Stephan Frank, Petra Hofstedt, Dirk Reckmann |
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | David Scott Warren |
Prolog Models for the Model-View-Controller Paradigm (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Alexander Serebrenik, Fred Mesnard |
On termination of binary CLP programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Gérard Ferrand, Willy Lesaint, Alexandre Tessier |
Explanations to Understand the Trace of a Finite Domain Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | John P. Gallagher |
Regular types, modes and model checking (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Nicos Angelopoulos |
Upsh: A Unix to Prolog Shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 14th International Workshop on Logic Programming Environments, WLPE 2004, Saint-Malo, France, September 6-7, 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Alexander Serebrenik, Danny De Schreye |
Hasta-La-Vista: Termination Analyser for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, pp. 60-74, 2003, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Emmanuel Coquery |
TCLP: A type checker for CLP(X). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, pp. 17-30, 2003, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Pierre Deransart, Ludovic Langevine, Mireille Ducassé |
Demonstration: Debugging constraint problems with portable tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, pp. 46-47, 2003, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Michael Codish, Samir Genaim |
Proving Termination One Loop at a Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, pp. 48-59, 2003, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Frédéric Mesnard, Alexander Serebrenik (eds.) |
Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium) The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Jan Wielemaker |
An Overview of the SWI-Prolog Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, pp. 1-16, 2003, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama |
Constructive combination of crisp and fuzzy logic in a Prolog compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, pp. 75-89, 2003, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser |
Analyzing and Visualising Prolog programs based on XML representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003, pp. 31-45, 2003, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium). The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Jan Wielemaker, Anjo Anjewierden |
An Architecture for Making Object-Oriented Systems Available from Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 97-110, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Gopal Gupta 0001, Deepa Gopal |
Towards a Logic Programming Based Environment for Automatic Generation of Translators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 87-88, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Magnus Ågren 0002, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson |
Tracing and Explaining Execution of CLP(FD) Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 1-16, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ulrich Neumerkel, Stefan Kral |
Declarative program development in Prolog with GUPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 77-86, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Göran Falkman, Olof Torgersson |
Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 111-122, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Willy Lesaint |
Value withdrawal explanations: a theoretical tool for programming environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 17-30, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Claudio Vaucheret, Francisco Bueno |
More Precise Yet Efficient Type Inference for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 63-76, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Samir Ouis, Narendra Jussien, Patrice Boizumault |
COINS: a constraint-based interactive solving system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 31-46, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Nicos Angelopoulos |
Exporting Prolog source code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 89-96, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | François Fages |
CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002, pp. 47-62, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Narendra Jussien, Samir Ouis |
User-friendly explanations for constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Michael Hanus, Johannes Koj |
An Integrated Development Environment for Declarative Multi-Paradigm Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier |
Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Luís Fernando Castro, David Scott Warren |
An Environment for the Exploration of Non Monotonic Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha |
HyperPro - An integrated documentation environment for CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Gustavo A. Ospina, Baudouin Le Charlier |
On the Design of a Tool for Supporting the Construction of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Christiane Bracchi, Christophe Gefflot, Frederic Paulin |
Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Slim Abdennadher, Matthias Saft |
A Visualization Tool for Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), Paphos, Cyprus, December 1, 2001, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|