Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 12 / Issue 12

available in:   PDF (291 kB) PS (242 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-012-12-1701


Modeling Inheritance as Coercion in the Kenzo System

César Domínguez (Universidad de La Rioja, Spain)

Julio Rubio (Universidad de La Rioja, Spain)

Francis Sergeraert (Universite Grénoble, France)

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 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.

Keywords: algebraic specification, coercion, inheritance, symbolic computation

Categories: F.3.1