DMCA
A Primer on Separation Logic (and Automatic Program Verification and Analysis)
by
Peter W. O’hearn
| Citations: | 1 - 0 self |
BibTeX
@MISC{O’hearn_aprimer,
author = {Peter W. O’hearn},
title = {A Primer on Separation Logic (and Automatic Program Verification and Analysis)},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. These are the notes to accompany a course at the Marktoberdorf PhD summer school in 2011. The course consists of an introduction to separation logic, with a slant towards its use in automatic program verification and analysis.
