Memory Model of Constraint Programming

• based on monotonic increase of information

• synchronization on availability of information

Constraint Logic Programming [Jaffar, Lassez 87]

Concurrent Constraint Programming [Saraswat 89]

Previous slide

Next slide

Back to first slide

View graphic version