Verifying safety properties of concurrent heap-manipulating programs.

Eran Yahav Mooly Sagiv

Published in: ACM Trans. Program. Lang. Syst. (2010)

Keyphrases

data structure
desirable properties

real time
learning algorithm

artificial intelligence
relational databases

structural properties
concurrent programs