Modeling inheritance as coercion in a symbolic computation system

  1. Domínguez, C. 1
  2. Rubio, J. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Editorial: ACM Press

ISBN:

Año de publicación: 2001

Páginas: 109-115

Tipo: Capítulo de Libro

SCOPUS: 2-s2.0-0034781193 GOOGLE SCHOLAR

Resumen

In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance relationship since Kenzo is an object-oriented system, written in CLOS, the Common Lisp Object System. We focus on a particular case, namely the relationship between simplicial sets and chain complexes, showing how the order-sorted algebraic specifications formalisms can be adapted, through the "inheritance as coercion" metaphor, in order to model this Kenzo fragment.