Logics and analyses for concurrent heap-manipulating programs
By: Alexey Gotsman
Contributors: University of Cambridge. Computer Laboratory; Churchill College; British Computer Society; Council of Professors and Heads of Computing (Great Britain)
Series: BCS/CPHC distinguished dissertation award series; BCS/CPHC distinguished dissertation award series
Publisher: [British Computer Society]
Published: 2009
Place of publication: [London]
Language: eng
Number of pages: 162
ISBN-13: 9781906124830
Subjects: Computer software; Verification; Programming languages (Electronic computers)
Notes: "This dissertation is submitted for the degree of Doctor of Philosophy."

"University of Cambridge, Computer Laboratory, Churchill College."

Ph. D. University of Cambridge 2009

Includes bibliographical references.