15. WLPE 2005: Sitges (Barcelona), Spain

Alexander Serebrenik, Susana Muñoz-Hernández (Eds.): Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), October 5, 2005. 2005 BibTeX

Verification

Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. 1-13
Electronic Edition (link) BibTeX
William Heaven, Alessandra Russo:
Enhancing the Alloy Analyzer with Patterns of Analysis. 14-30
Electronic Edition (link) BibTeX

Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo:
A Study of Set-Sharing Analysis via Clique. 31-45
Electronic Edition (link) BibTeX
Étienne Payet, Frédéric Mesnard:
An Improved Non-Termination Criterion for Binary Constraint Logic Programs. 46-60
Electronic Edition (link) BibTeX
Germán Puebla, Manuel V. Hermenegildo, Elvira Albert:
A Generic Framework for the Analysis and Specialization of Logic Programs. 61-76
Electronic Edition (link) BibTeX

Susana Muñoz-Hernández, Claudio Vaucheret:
Extending Prolog with Incomplete Fuzzy Information. 77-93
Electronic Edition (link) BibTeX
Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. 94-110
Electronic Edition (link) BibTeX