Recent Lectures
Further Reasoning about Shared Mutable Data Structures
(A colloquium given at Cambridge University, Queen Mary and Westfield College,
and Aarhus University, June 2001)
(abstract)
(postscript)
Lectures on Reasoning about Shared Mutable Data Structures
A series of lectures at Aarhus University, in the summer of 2001.
The first part of the notes is available in gzip-compressed
postscript
and dvi formats.
Lectures in Argentina
Six Lectures on Reasoning about Shared Mutable Data Structure,
given in Tandil, Argentina, September 6-13, 2000, as part of the
IFIP Working Group 2.3 School/Seminar on State-of-the-Art Program Design
Using Logic.
Corrected copies of the slides are available in gzip-compressed
postscript
and
dvi
format.
last updated December 5, 2001