Verifying Reference Counting Implementations.

Michael Emmi Ranjit Jhala Eddie Kohler Rupak Majumdar

Published in: TACAS (2009)

Keyphrases

artificial intelligence
efficient implementation
real time
real world
image segmentation
bayesian networks
reinforcement learning
cooperative
preprocessing
expert systems
reference frame