Title of article
Modeling Inheritance as Coercion in the Kenzo System
Author/Authors
Dominguez, Cesar Universidad de La Rioja, Spain , Rubio, Julio Universidad de La Rioja, Spain , Sergeraert, Francis Universite Grenoble I - Institut Fourier, France
From page
1701
To page
1730
Abstract
Abstract: In this paper the analysis of the data structures used in a symbolic com- putation 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 specifica- tion 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
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Journal title
Journal of J.UCS (Journal of Universal Computer Science)
Record number
2660672
Link To Document