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