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

Verification

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

Analysis

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

Miscellaneous

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

Copyright © Wed Nov 25 17:49:58 2009 by Michael Ley (ley@uni-trier.de)