Verifying the Safety of a Practical Concurrent Garbage Collector.

Georges Gonthier

Published in: CAV (1996)

Keyphrases

practical problems
real world
practical application
artificial intelligence
special case
similarity measure
database systems
garbage collection
model checking
expert systems
multi agent systems
multi agent
database
image processing
feature selection
search engine
genetic algorithm
data sets
real time