Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce (Q4914299)
From MaRDI portal
scientific article; zbMATH DE number 6155490
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce |
scientific article; zbMATH DE number 6155490 |
Statements
Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce (English)
0 references
18 April 2013
0 references
object oriented programming
0 references
semantics
0 references
inheritance
0 references
inner classes
0 references
direct superclass
0 references
static semantics analysis
0 references
static binding
0 references
derivation calculus
0 references
model
0 references
minimal resp. least model
0 references
