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
Year of publication: 2006
Volume: 12
Issue: 12
Pages: 1701-1730
Type: Article
More publications in: Journal of Universal Computer Science
Related Projects
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. © J.UCS.