A type system for JVM threads.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

real time
databases
information retrieval
machine learning
artificial intelligence
case study
learning environment
search algorithm