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

Zeitschrift:
Journal of Universal Computer Science

ISSN: 0948-695X

Datum der Publikation: 2006

Ausgabe: 12

Nummer: 12

Seiten: 1701-1730

Art: Artikel

SCOPUS: 2-s2.0-33847194542 GOOGLE SCHOLAR lock_openOpen Access editor

Andere Publikationen in: Journal of Universal Computer Science

Institutionelles Repository: lock_openOpen Access Editor

Projekte im Zusammenhang

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

2006/00092/001

Zusammenfassung

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.