Modeling Inheritance as coercion in the Kenzo System.

  1. Domínguez, C. 2
  2. Rubio, J. 2
  3. Sergeraert, F. 1
  1. 1 Grenoble Alpes University
    info

    Grenoble Alpes University

    Saint-Martin-d’Hères, Francia

    ROR https://ror.org/02rx3b187

  2. 2 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Revista:
Journal of Universal Computer Science

ISSN: 0948-695X

Año de publicación: 2006

Volumen: 12

Número: 12

Páginas: 1701-1730

Tipo: Artículo

SCOPUS: 2-s2.0-33847194542 GOOGLE SCHOLAR lock_openAcceso abierto editor

Otras publicaciones en: Journal of Universal Computer Science

Repositorio institucional: lock_openAcceso abierto Editor

Proyectos relacionados

Sistemas de cálculo simbólico: nuevos desarrollos en topología algebráica y fiabilidad

2006/00092/001

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 show how the order-sorted algebraic specification formalism can be adapted, through the "inheritance as coercion" metaphor, in order to model the simple inheritance between structures in Kenzo. © J.UCS.