Capsules and Separation
dc.contributor.author | Jeannin, Jean-Baptiste | |
dc.contributor.author | Kozen, Dexter | |
dc.date.accessioned | 2012-01-14T19:58:17Z | |
dc.date.available | 2012-01-14T19:58:17Z | |
dc.date.issued | 2012-01-14 | |
dc.description.abstract | We study a formulation of separation logic using capsules, a representation of the state of a computation in higher-order programming languages with mutable variables. We prove soundness of the frame rule in this context and investigate alternative formulations with weaker side conditions. | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/28284 | |
dc.language.iso | en_US | en_US |
dc.subject | capsule | en_US |
dc.subject | separation logic | en_US |
dc.subject | functional programming | en_US |
dc.subject | imperative programming | en_US |
dc.title | Capsules and Separation | en_US |
dc.type | technical report | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- SeparationLogic.pdf
- Size:
- 155.16 KB
- Format:
- Adobe Portable Document Format
- Description:
- Content replaced at author's request on 24-Jan-2012.