Verifying safety properties of concurrent heap-manipulating programs
Yahav, Eran, Sagiv, MoolyVolume:
32
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/1745312.1745315
Date:
May, 2010
File:
PDF, 1.12 MB
english, 2010