Subtyping inheritance and its application in languages for symbolic computation systems

DOI10.1006/JSCO.1995.1004zbMATH Open0836.68059OpenAlexW1983767271MaRDI QIDQ1895396FDOQ1895396

Authors: Paolo Di Blasio, Marco Temperini 

Publication date: 10 September 1995

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1995.1004

Recommendations

• scientific article; zbMATH DE number 1086651
• Foundations for the implementation of higher-order subtyping
• Publication:4730749
• scientific article; zbMATH DE number 1361477
• Modeling inheritance as coercion in a symbolic computation system
• A framework for substructural type systems
• scientific article; zbMATH DE number 1342292
• A framework for type inference with subtyping
• Substructural Type Systems for Program Analysis
• scientific article; zbMATH DE number 1263432

zbMATH Keywords

object-oriented programming techniquesenhanced strict inheritancesymbolic computation systems

Mathematics Subject Classification ID

Theory of programming languages (68N15) Symbolic computation and algebraic computation (68W30)

Cited In (3)

• Modeling inheritance as coercion in a symbolic computation system
• On simulation, subtyping and substitutability in sequential object systems
• Inheritance-based subtyping

Uses Software

• AXIOM
• REDUCE

This page was built for publication: Subtyping inheritance and its application in languages for symbolic computation systems

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