Industrielle Anwendungen der CP

automatische Analyse des Resourcenverbrauchs von Programmen

mittels Bewertungen von Programmzuständen:

Parameter der Bewertung werden durch Constraint-System beschrieben.



2014-07-06