Industrielle Anwendungen der CP

automatische Analyse des Resourcenverbrauchs von Programmen

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

mittels Bewertungen von Programmzuständen:

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

Parameter der Bewertung werden durch Constraint-System beschrieben.