Modeling inheritance as coercion in a symbolic computation system

DOI10.1145/384101.384117zbMath1356.68276OpenAlexW2017577635WikidataQ131124348 ScholiaQ131124348MaRDI QIDQ2958920

César Domínguez, Julio Jesús Rubio García

Publication date: 3 February 2017

Published in: Proceedings of the 2001 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/384101.384117

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Data structures (68P05)

Related Items (1)

Object oriented institutions to specify symbolic computation systems

Uses Software

• CASL
• CLOS
• Kenzo

This page was built for publication: Modeling inheritance as coercion in a symbolic computation system