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.002MaRDI QIDQ1013086zbMATH OpenOpenAlexFDO

Authors 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

direct superclassinheritanceinner classesobject oriented programmingstatic bindingstatic semantic analysis

Mathematics Subject Classification ID

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

Recommendations

• A deterministic algorithm for identifying direct superclasses in Java
• On inner classes
• Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce
• scientific article; zbMATH DE number 3864476
• Class invariants as abstract interpretation of trace semantics

Cites work

• Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
• scientific article; zbMATH DE number 1650458 (Why is no real title available?)
• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• scientific article; zbMATH DE number 4057487 (Why is no real title available?)
• scientific article; zbMATH DE number 1006324 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• scientific article; zbMATH DE number 3798995 (Why is no real title available?)
• scientific article; zbMATH DE number 3318300 (Why is no real title available?)
• LOGLAN '88. Report on the programming language
• On inner classes
• Recursive programming

Cited in

(3)

• On inner classes
• Some methodological remarks inspired by the paper ``On inner classes by A. Igarashi and B. Pierce
• A deterministic algorithm for identifying direct superclasses in Java

Describes a project that uses

Uses Software

• LOGLAN
• BETA
• Simula 67

This page was built for publication: On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions

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