arXiv 2002-02-12 EN Logic program specialisation through partial deduction: Control issues Leuschel, Michael · Bruynooghe, Maurice
arXiv 2002-02-11 EN Using parametric set constraints for locating errors in CLP programs Drabent, W. · Maluszynski, J. · Pietrzak, P.
arXiv 2001-11-19 EN HyperPro An integrated documentation environment for CLP Ed-Dbali, AbdelAli · Deransart, Pierre · Bigonha, Mariza A. S. · de Siqueira, Jose +1
arXiv 2001-11-19 EN An Environment for the Exploration of Non Monotonic Logic Programs Castro, Luis F. · Warren, David S.
arXiv 2001-11-16 EN Prototyping CLP(FD) Tracers: a Trace Model and an Experimental Validation Environment Langevine, Ludovic · Deransart, Pierre · Ducasse, Mireille · Jahier, Erwan
arXiv 2001-11-16 EN Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01) Kusalik, Anthony
arXiv 2001-11-15 EN Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio Bracchi, Christiane · Gefflot, Christophe · Paulin, Frederic
arXiv 2001-11-15 EN On the Design of a Tool for Supporting the Construction of Logic Programs Ospina, Gustavo A. · Charlier, Baudouin Le
arXiv 2001-11-14 EN An Integrated Development Environment for Declarative Multi-Paradigm Programming Hanus, Michael · Koj, Johannes
arXiv 2001-11-14 EN User-friendly explanations for constraint programming Jussien, Narendra · Ouis, Samir
arXiv 2001-10-17 EN Practical Aspects for a Working Compile Time Garbage Collection System for Mercury Mazur, Nancy · Ross, Peter · Janssens, Gerda · Bruynooghe, Maurice
arXiv 2001-10-17 EN Inference of termination conditions for numerical loops in Prolog Serebrenik, Alexander · De Schreye, Danny
arXiv 2001-10-09 EN Mixed-Initiative Interaction = Mixed Computation Ramakrishnan, Naren · Capra, Robert · Perez-Quinones, Manuel A.
arXiv 2001-10-03 EN Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints Apt, Krzysztof R. · Bartak, Roman · Monfroy, Eric · Rossi, Francesca +1
arXiv 2001-10-02 EN Variable and Value Ordering When Solving Balanced Academic Curriculum Problems Castro, Carlos · Manzano, Sebastian
