Local Reasoning for Global Invariants, Part I (Q5395716)
From MaRDI portal
scientific article; zbMATH DE number 6258114
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Local Reasoning for Global Invariants, Part I |
scientific article; zbMATH DE number 6258114 |
Statements
Local Reasoning for Global Invariants, Part I (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
