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
Analysis
- Jorge A. 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team