The relationship between separation logic and implicit dynamic frames (Q2904617)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The relationship between separation logic and implicit dynamic frames |
scientific article; zbMATH DE number 6066143
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The relationship between separation logic and implicit dynamic frames |
scientific article; zbMATH DE number 6066143 |
Statements
15 August 2012
0 references
separation logic
0 references
implicit dynamic frames
0 references
verification logics
0 references
partial heaps
0 references
permissions
0 references
concurrency
0 references
first-order automatic verification tool Chalice
0 references
The relationship between separation logic and implicit dynamic frames (English)
0 references
