On inner classes

DOI10.1006/INCO.2002.3092MaRDI QIDQ1854553zbMATH OpenOpenAlexFDO

Authors Atsushi Igarashi, Benjamin C. Pierce

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/1908dcf23e213bd5850cff8b2e266024505b9b7f

Mathematics Subject Classification ID

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
• scientific article; zbMATH DE number 1088218
• Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce
• The equivalence of two semantic definitions for inheritance in object-oriented languages
• scientific article; zbMATH DE number 1330431

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 1497777 (Why is no real title available?)
• LCF considered as a programming language

Cited in

(2)

• On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
• Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce

Describes a project that uses

Uses Software

• Simula 67
• BETA
• Smalltalk
• Featherweight Java

This page was built for publication: On inner classes

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