Modeling Inheritance as coercion in the Kenzo System.
- Domínguez, C. 2
- Rubio, J. 2
- Sergeraert, F. 1
-
1
Grenoble Alpes University
info
-
2
Universidad de La Rioja
info
ISSN: 0948-695X
Año de publicación: 2006
Volumen: 12
Número: 12
Páginas: 1701-1730
Tipo: Artículo
Otras publicaciones en: Journal of Universal Computer Science
Proyectos relacionados
Resumen
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.