Sign in
Towards Testing Concurrent Objects in CLP.
Elvira Albert
Puri Arenas
Miguel Gómez-Zamalloa
Published in:
ICLP (Technical Communications) (2012)
Keyphrases
</>
object model
object level
constraint logic programming
real time
case study
relational databases
vision system
spatial relationships
concurrent programs