Leaf: Modularity for Temporary Sharing in Separation Logic (Q130818494)
scientific article published on 16 October 2023
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Leaf: Modularity for Temporary Sharing in Separation Logic |
scientific article published on 16 October 2023 |
Statements
Leaf: Modularity for Temporary Sharing in Separation Logic (English)
1 reference
1 reference
1 reference
1 reference
1 reference
16 October 2023
1 reference
7
1 reference
OOPSLA2
1 reference
31-58
1 reference
Identifiers
1 reference
