Local Reasoning for Global Invariants, Part II (Q5395717)
From MaRDI portal
scientific article; zbMATH DE number 6258115
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Local Reasoning for Global Invariants, Part II |
scientific article; zbMATH DE number 6258115 |
Statements
Local Reasoning for Global Invariants, Part II (English)
0 references
17 February 2014
0 references
modularity
0 references
data abstraction
0 references
data invariants
0 references
heap separation
0 references
information hiding
0 references
resource protection
0 references
