Modelling multiple inheritance with colimits

DOI10.1007/BF01888231MaRDI QIDQ919836zbMATH OpenFDO

Authors Huimin Lin, Man-chi Pong

Publication date 1990

Published in Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

categorical semanticscolimitsmultiple inheritanceobject-oriented programmingobject-oriented programming languages

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Semantics in the theory of computing (68Q55)

Recommendations

• A categorical semantics of multiple inheritance
• scientific article; zbMATH DE number 3864476
• Object inheritance beyond subtyping
• scientific article; zbMATH DE number 139982
• A semantics of multiple inheritance

Cites work

• A semantics of multiple inheritance
• An ideal model for recursive polymorphic types

Cited in

(6)

• A semantics of multiple inheritance
• scientific article; zbMATH DE number 1630119 (Why is no real title available?)
• scientific article; zbMATH DE number 3864476 (Why is no real title available?)
• scientific article; zbMATH DE number 1304368 (Why is no real title available?)
• Metamodeling semantics of multiple inheritance
• A categorical semantics of multiple inheritance

Describes a project that uses

Uses Software

• Commonloops

This page was built for publication: Modelling multiple inheritance with colimits

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