The relationship between separation logic and implicit dynamic frames (Q3000593)
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 5897355
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The relationship between separation logic and implicit dynamic frames |
scientific article; zbMATH DE number 5897355 |
Statements
The Relationship between Separation Logic and Implicit Dynamic Frames (English)
0 references
19 May 2011
0 references
0.9819126725196838
0 references
0.7783716320991516
0 references
0.7752233147621155
0 references
0.7718062996864319
0 references
0.7624067664146423
0 references
