Objects in Higher-order Concurrentconstraintprograming with State


Concurrent constraint programming (ccp) languages allow to express concurrency on a clean semantic base. Since objects are an attractive abstraction for describing concurrent activity, it was the goal of several ccp languages to provide object-oriented programming (oop). The traditional way to express the notion of objects in ccp languages is by describing… (More)