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
Open Access
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.
algebraic specification, symbolic computation, inheritance, coercion