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

Revue:
Journal of Universal Computer Science

ISSN: 0948-695X

Année de publication: 2006

Volumen: 12

Número: 12

Pages: 1701-1730

Type: Article

SCOPUS: 2-s2.0-33847194542 GOOGLE SCHOLAR lock_openAccès ouvert editor

D'autres publications dans: Journal of Universal Computer Science

Dépôt institutionnel: lock_openAccès ouvert Editor

Projets liés

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

2006/00092/001

Résumé

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.