Wednesday, October 5th

Annotations and Verification session, 9:00 - 10:00

• "Proving or Disproving likely Invariants with Constraint Reasoning"
  T. Denmat, A. Gotlieb and M. Ducassé
• "Enhancing the Alloy Analyzer with Patterns of Analysis"
  W. Heaven and A. Russo

• "A study of set-sharing analysis via Clique"
  J. Navas, F. Bueno and M. Hermenegildo
• "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

• "Extending Prolog with Incomplete Fuzzy Information"
  S. Muñoz-Hernández and C. Vaucheret
• "A Tracer Driver to Debug, Monitor and Visualize Constraint Logic Programs"
  L. Langevine and M. Ducassé