Title: Logics and analyses for concurrent heap-manipulating programs
Subjects: Computer software, Verification, Programming languages (Electronic computers)