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

    Grenoble Alpes University

    Saint-Martin-d’Hères, Francia

    GRID grid.450307.5

  2. 2 Universidad de La Rioja

    Universidad de La Rioja

    Logroño, España

    GRID grid.119021.a

Journal of Universal Computer Science

ISSN: 0948-695X

Year of publication: 2006

Volume: 12

Issue: 12

Pages: 1701-1730

Type: Article

Export: RIS
bar_chart See metrics


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.