Object inheritance beyond subtyping

DOI10.1007/BF01178920MaRDI QIDQ1323343zbMATH OpenOpenAlexFDO

Authors José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Publication date 4 July 1994

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01178920

zbMATH Keywords

aggregationcategorial semantic domaincategory of processesobject-oriented approachsoftware engineeringspecializationsubtyping

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Dynamic object-based inheritance with subtyping
• Inheritance-based subtyping
• scientific article; zbMATH DE number 814801
• Inheritance hierarchies: Semantics and unifications
• Subtyping and polymorphism in object-role modelling
• Theoretical Computer Science

Cites work

• scientific article; zbMATH DE number 4135383 (Why is no real title available?)
• scientific article; zbMATH DE number 3821076 (Why is no real title available?)
• scientific article; zbMATH DE number 3986617 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 17707 (Why is no real title available?)
• scientific article; zbMATH DE number 49427 (Why is no real title available?)
• Progress assumption in concurrent systems
• Synchronization trees

Cited in

(4)

• Inheritance-based subtyping
• scientific article; zbMATH DE number 1377613 (Why is no real title available?)
• A categorical semantics of multiple inheritance
• Modelling multiple inheritance with colimits

Describes a project that uses

Uses Software

• Simula 67
• Eiffel

This page was built for publication: Object inheritance beyond subtyping

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