Sign in

Towards Testing Concurrent Objects in CLP.

Elvira AlbertPuri ArenasMiguel 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