Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WLPE"( http://dblp.L3S.de/Venues/WLPE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lpe

Publication years (Num. hits)
2001 (9) 2002 (10) 2003 (8) 2004 (11) 2005 (8)
Publication types (Num. hits)
inproceedings(43) proceedings(3)
Venues (Conferences, Journals, ...)
WLPE(46)
Authors
Alexander Serebrenik(4) Mireille Ducassé(4) Susana Muñoz-Hernández(4) Claudio Vaucheret(3) Ludovic Langevine(3) Pierre Deransart(3) David Scott Warren(2) Francisco Bueno(2) Frédéric Mesnard(2) Gopal Gupta 0001(2) Jan Wielemaker(2) Manuel V. Hermenegildo(2) Narendra Jussien(2) Nicos Angelopoulos(2) Samir Ouis(2) Tamás Szeredi(2) More (+10 of total 74)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 46 publication records. Showing 46 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1William Heaven, Alessandra Russo Enhancing the Alloy Analyzer with Patterns of Analysis. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Alexander 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 WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé Proving or Disproving likely Invariants with Constraint Reasoning. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Étienne Payet, Frédéric Mesnard An Improved Non-Termination Criterion for Binary Constraint Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Germán Puebla, Manuel V. Hermenegildo, Elvira Albert A Generic Framework for the Analysis and Specialization of Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Susana Muñoz-Hernández, Claudio Vaucheret Extending Prolog with Incomplete Fuzzy Information. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo A Study of Set-Sharing Analysis via Clique. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Ludovic Langevine, Mireille Ducassé A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2005 DBLP  BibTeX  RDF
1Susana 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 WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Qian Wang 0024, Gopal Gupta 0001 A Logic Programming-based Environment for Integrating Architecture Description Languages. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Dávid Hanák, Tamás Szeredi FDBG, the CLP(FD) Debugger Library of SICStus Prolog. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Henning Christiansen 0001, Verónica Dahl Assumptions and Abduction in Prolog. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Vítor Beires Nogueira, Salvador Abreu, Gabriel David Towards Temporal Reasoning in Constraint Contextual Logic Programming. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Stephan Frank, Petra Hofstedt, Dirk Reckmann Strategies for the Efficient Solution of Hybrid Constraint Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1David Scott Warren Prolog Models for the Model-View-Controller Paradigm (Invited Talk). Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Alexander Serebrenik, Fred Mesnard On termination of binary CLP programs. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Gérard Ferrand, Willy Lesaint, Alexandre Tessier Explanations to Understand the Trace of a Finite Domain Constraint Solver. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1John P. Gallagher Regular types, modes and model checking (Invited Talk). Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Nicos Angelopoulos Upsh: A Unix to Prolog Shell. Search on Bibsonomy WLPE The full citation details ... 2004 DBLP  BibTeX  RDF
1Alexander Serebrenik, Danny De Schreye Hasta-La-Vista: Termination Analyser for Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Emmanuel Coquery TCLP: A type checker for CLP(X). Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Pierre Deransart, Ludovic Langevine, Mireille Ducassé Demonstration: Debugging constraint problems with portable tools. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Michael Codish, Samir Genaim Proving Termination One Loop at a Time. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Fré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 WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Jan Wielemaker An Overview of the SWI-Prolog Programming Environment. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama Constructive combination of crisp and fuzzy logic in a Prolog compiler. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser Analyzing and Visualising Prolog programs based on XML representations. Search on Bibsonomy WLPE The full citation details ... 2003 DBLP  BibTeX  RDF
1Jan Wielemaker, Anjo Anjewierden An Architecture for Making Object-Oriented Systems Available from Prolog. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Gopal Gupta 0001, Deepa Gopal Towards a Logic Programming Based Environment for Automatic Generation of Translators. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Magnus Ågren 0002, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson Tracing and Explaining Execution of CLP(FD) Programs. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Ulrich Neumerkel, Stefan Kral Declarative program development in Prolog with GUPU. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Göran Falkman, Olof Torgersson Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Willy Lesaint Value withdrawal explanations: a theoretical tool for programming environments. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Claudio Vaucheret, Francisco Bueno More Precise Yet Efficient Type Inference for Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Samir Ouis, Narendra Jussien, Patrice Boizumault COINS: a constraint-based interactive solving system. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Nicos Angelopoulos Exporting Prolog source code. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1François Fages CLPGUI: a generic graphical user interface for constraint logic programming over finite domains. Search on Bibsonomy WLPE The full citation details ... 2002 DBLP  BibTeX  RDF
1Narendra Jussien, Samir Ouis User-friendly explanations for constraint programming. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1Michael Hanus, Johannes Koj An Integrated Development Environment for Declarative Multi-Paradigm Programming. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier Prototyping CLP(FD) tracers: a trace model and an experimental validation environment. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1Luís Fernando Castro, David Scott Warren An Environment for the Exploration of Non Monotonic Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1AbdelAli 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 WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1Gustavo A. Ospina, Baudouin Le Charlier On the Design of a Tool for Supporting the Construction of Logic Programs. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1 Preface. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1Christiane Bracchi, Christophe Gefflot, Frederic Paulin Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
1Slim Abdennadher, Matthias Saft A Visualization Tool for Constraint Handling Rules. Search on Bibsonomy WLPE The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license