Heap-Abstraction for an Object-Oriented Calculus with Thread Classes.

Erika Ábrahám Andreas Grüner Martin Steffen

Published in: CiE (2006)

Keyphrases

data structure
object oriented
relational calculus
class labels
relational algebra
database
artificial intelligence
case study
decision theoretic planning