Logics and analyses for concurrent heap-manipulating programs /
Gotsman, Alexey.
University of Cambridge.Computer Laboratory.
Churchill College.
British Computer Society.
Council of Professors and Heads of Computing (Great Britain)
[London : British Computer Society],
2009.
"This dissertation is submitted for the degree of Doctor of Philosophy".
"University of Cambridge, Computer Laboratory, Churchill College".
Thesis (Ph.D.)--University of Cambridge, 2009.
Includes bibliographical references.
Computer software
Programming languages (Electronic computers)