The essence of Reynolds (Q5408421)
From MaRDI portal
scientific article; zbMATH DE number 6282427
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The essence of Reynolds |
scientific article; zbMATH DE number 6282427 |
Statements
The essence of Reynolds (English)
0 references
10 April 2014
0 references
data abstraction
0 references
polymorphism
0 references
separation logic
0 references
subtypes
0 references
