JUCS - Journal of Universal Computer Science 12(12): 1701-1730, doi: 10.3217/jucs-012-12-1701
Modeling Inheritance as Coercion in the Kenzo System
expand article infoCésar Domínguez Pérez, Julio Rubio‡, Francis Sergeraert§
‡ Universidad de La Rioja, Spain§ Universite Grénoble, France

Corresponding author: César Domínguez Pérez ( cesar.dominguez@unirioja.es )

© César Domínguez Pérez, Julio Rubio, Francis Sergeraert.
This article is freely available under the J.UCS Open Content License.
Citation: Domínguez Pérez C, Rubio J, Sergeraert F (2006) Modeling Inheritance as Coercion in the Kenzo System. JUCS - Journal of Universal Computer Science 12(12): 1701-1730. https://doi.org/10.3217/jucs-012-12-1701
Open Access
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, symbolic computation, inheritance, coercion