Abstract is missing.
- Proving or Disproving likely Invariants with Constraint ReasoningTristan Denmat, Arnaud Gotlieb, Mireille Ducassé. 1-13 [doi]
- Enhancing the Alloy Analyzer with Patterns of AnalysisWilliam Heaven, Alessandra Russo. 14-30 [doi]
- A Study of Set-Sharing Analysis via CliqueJorge Navas, Francisco Bueno, Manuel V. Hermenegildo. 31-45 [doi]
- An Improved Non-Termination Criterion for Binary Constraint Logic ProgramsÉtienne Payet, Frédéric Mesnard. 46-60 [doi]
- A Generic Framework for the Analysis and Specialization of Logic ProgramsGermán Puebla, Manuel V. Hermenegildo, Elvira Albert. 61-76 [doi]
- Extending Prolog with Incomplete Fuzzy InformationSusana Muñoz-Hernández, Claudio Vaucheret. 77-93 [doi]
- A Tracer Driver for Versatile Dynamic Analyses of Constraints Logic ProgramsLudovic Langevine, Mireille Ducassé. 94-110 [doi]