13. WLPE 2003: Mumbai, India

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. Report CW371 Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium) 2003 BibTeX

@proceedings{DBLP:conf/lpe/2003,
  editor    = {Fr{\'e}d{\'e}ric Mesnard and
               Alexander Serebrenik},
  title     = {Proceedings of the 13th International Workshop on Logic Programming
               Environments, Tata Institute of Fundamental Research, Mumbai,
               India, December 8, 2003},
  booktitle = {WLPE},
  publisher = {Katholieke Universiteit Leuven, Department of Computer Science,
               Celestijnenlaan 200A, B-3001 Heverlee (Belgium)},
  series    = {Report},
  volume    = {CW371},
  year      = {2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Online Version

Jan Wielemaker: An Overview of the SWI-Prolog Programming Environment. 1-16 BibTeX
Emmanuel Coquery: TCLP: A type checker for CLP(X). 17-30 BibTeX
Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser: Analyzing and Visualising Prolog programs based on XML representations. 31-45 BibTeX
Pierre Deransart, Ludovic Langevine, Mireille Ducassé: Demonstration: Debugging constraint problems with portable tools. 46-47 BibTeX
Michael Codish, Samir Genaim: Proving Termination One Loop at a Time. 48-59 BibTeX
Alexander Serebrenik, Danny De Schreye: Hasta-La-Vista: Termination Analyser for Logic Programs. 60-74 BibTeX
Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama: Constructive combination of crisp and fuzzy logic in a Prolog compiler. 75-89 BibTeX