Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce

DOI10.3233/FI-2013-789MaRDI QIDQ4914299zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

derivation calculusdirect superclassinheritanceinner classesminimal resp. least modelmodelobject oriented programmingsemanticsstatic bindingstatic semantics analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
• On inner classes
• scientific article; zbMATH DE number 2006639
• Computer Science Logic
• Semantic types and approximation for Featherweight Java

Cited in

(3)

• On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
• On inner classes
• scientific article; zbMATH DE number 2006639 (Why is no real title available?)

This page was built for publication: Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4914299)