Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce
From MaRDI portal
Publication:4914299
DOI10.3233/FI-2013-789zbMath1263.68040OpenAlexW1665920384MaRDI QIDQ4914299
Hans Langmaack, Andrzej Salwicki
Publication date: 18 April 2013
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2013-789
inheritancesemanticsobject oriented programmingmodeldirect superclassinner classesstatic bindingderivation calculusminimal resp. least modelstatic semantics analysis
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)