Titlebook: Analysis and Visualization Tools for Constraint Programming; Constraint Debugging Pierre Deransart,Manuel V. Hermenegildo,Jan Małusz Book 2

Tartar

Peter Bühler,Patrick Schlaich,Dominik Sinner postconditions associated with each predicate used in the program. We present a system with a rich set of primitives (based on constraints and metaproperties) to express the program properties. These primitives are such that they can often be proven efficiently with a local analysis at compile-time

canonical

Martin A. Ciesielski,Thomas Schutzprogramming language CHIP [4.10], but the idea applies to any CLP language. The tool works with approximated specifications which describe types of procedure calls and successes. The specifications are expressed as a certain kind of term grammars. The tool automatically locates at compile time all t

Slit-Lamp