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

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

Publisher: ACM Press

ISBN:

Year of publication: 2001

Pages: 109-115

Type: Book chapter

SCOPUS: 2-s2.0-0034781193 GOOGLE SCHOLAR

Abstract

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.