Subtyping inheritance and its application in languages for symbolic computation systems

DOI10.1006/jsco.1995.1004zbMath0836.68059OpenAlexW1983767271MaRDI QIDQ1895396

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

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

Uses Software

• AXIOM
• REDUCE

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