WLPE

Keyphrases

Publications

2005

William Heaven, Alessandra Russo
Enhancing the Alloy Analyzer with Patterns of Analysis. WLPE (2005)
Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005 WLPE (2005)
Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
Proving or Disproving likely Invariants with Constraint Reasoning. WLPE (2005)
Étienne Payet, Frédéric Mesnard
An Improved Non-Termination Criterion for Binary Constraint Logic Programs. WLPE (2005)
Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE (2005)
Susana Muñoz-Hernández, Claudio Vaucheret
Extending Prolog with Incomplete Fuzzy Information. WLPE (2005)
Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo
A Study of Set-Sharing Analysis via Clique. WLPE (2005)
Ludovic Langevine, Mireille Ducassé
A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic Programs. WLPE (2005)

2004

2003

2002

2001