WLPE 2005

Sitges (Barcelona), Spain
October 5, 2005
 
  Index


A CCEPTED P APERS

  • "A Tracer Driver to Debug, Monitor and Visualize Constraint Logic Programs"
    L. Langevine and M. Ducassé
  • "A study of set-sharing analysis via clique"
    J. Navas, F. Bueno and M. Hermenegildo
  • "Proving or disproving likely invariants with constraint reasoning"
    T. Denmat, A. Gotlieb and Mireille Ducassé
  • "An Improved Non-termination Criterion for Binary Constraint Logic Programs"
    E. Payet and F. Mesnard
  • "A Generic Framework for the Analysis and Specialization of Logic Programs"
    G. Puebla, M. Hermenegildo and E. Albert
  • "Enhancing the Alloy analyzer with patterns of Analysis"
    W. Heaven and A. Russo
  • "Extending Prolog with Incomplete Fuzzy Information"
    S. Muñoz-Hernández and C. Vaucheret