Object inheritance beyond subtyping

DOI10.1007/BF01178920zbMath0790.68065OpenAlexW2039983546MaRDI QIDQ1323343

Amílcar Sernadas, Costa, José Félix, 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

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

Uses Software

• Eiffel
• Simula 67

Cites Work

• Synchronization trees
• Progress assumption in concurrent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Object inheritance beyond subtyping