Industrielle Anwendungen der CP

automatische Analyse des Resourcenverbrauchs von Programmen

• Termination (jede Rechnung hält)
• Komplexität (...nach O(n²) Schritten)

mittels Bewertungen von Programmzuständen:

• W : Zustandsmenge→$\mathbb {N}$
• wenn z₁→z₂, dann W(z₁) > W(z₂).

Parameter der Bewertung werden durch Constraint-System beschrieben.