Inheritance-based subtyping

DOI10.1006/INCO.2002.3169MaRDI QIDQ1854552zbMATH OpenOpenAlexFDO

Authors Kathleen Fisher, John Reppy

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/742a32dd41d6f9ed4ca31ea6c6e266a0c68c8235

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65)

Recommendations

• Dynamic object-based inheritance with subtyping
• Object inheritance beyond subtyping
• scientific article; zbMATH DE number 814801
• Subtyping dependent types
• Type inference with subtypes
• Higher-order subtyping
• Inheritance hierarchies: Semantics and unifications
• scientific article; zbMATH DE number 1377613
• Subtyping inheritance and its application in languages for symbolic computation systems

Cites work

• Privacy via subsumption

Cited in

(9)

• scientific article; zbMATH DE number 4115919 (Why is no real title available?)
• Intersecting classes and prototypes
• scientific article; zbMATH DE number 2163038 (Why is no real title available?)
• scientific article; zbMATH DE number 814801 (Why is no real title available?)
• Subtyping in distributed systems
• About the differences between the notions of type and class
• Object inheritance beyond subtyping
• Behavioural subtyping using invariants and constraints
• Dynamic object-based inheritance with subtyping

Describes a project that uses

Uses Software

• Featherweight Java
• OCaml
• ML

This page was built for publication: Inheritance-based subtyping

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