On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions

DOI10.1016/j.ic.2008.12.002zbMath1166.68313OpenAlexW1976007862MaRDI QIDQ1013086

Hans Langmaack, Andrzej Salwicki, Marek Warpechowski

Publication date: 16 April 2009

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

Full work available at URL: https://doi.org/10.1016/j.ic.2008.12.002

zbMATH Keywords

inheritanceobject oriented programmingdirect superclassinner classesstatic bindingstatic semantic analysis

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• BETA
• Simula 67
• LOGLAN

Cites Work

• Recursive programming
• LOGLAN '88. Report on the programming language
• On inner classes
• Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item