A complete decision procedure for linearly compositional separation logic with data constraints (Q2817951)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6623284
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A complete decision procedure for linearly compositional separation logic with data constraints |
scientific article; zbMATH DE number 6623284 |
Statements
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (English)
0 references
5 September 2016
0 references
0 references
0 references
0 references
0 references
0.8773556351661682
0 references
0.875177800655365
0 references
0.8329506516456604
0 references
0.8303646445274353
0 references
0.8282868266105652
0 references
