Heap-abstraction for an object-oriented calculus with thread classes.

Erika Ábrahám Andreas Grüner Martin Steffen

Published in: Softw. Syst. Model. (2008)

Keyphrases

data structure
object oriented
user interface
high level
training data
provably correct
multiple classes
evolutionary algorithm
search algorithm
multiscale
database
website
learning algorithm
information retrieval
real world
neural network
real time