Subtyping inheritance and its application in languages for symbolic computation systems

DOI10.1006/JSCO.1995.1004MaRDI QIDQ1895396zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

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

Describes a project that uses

Uses Software

• REDUCE
• AXIOM

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)