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

aggregationsubtypingspecializationsoftware engineeringcategory of processescategorial semantic domainobject-oriented approach

Mathematics Subject Classification ID

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

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

(3)

• A categorical semantics of multiple inheritance
• Inheritance-based subtyping
• 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)