Modeling Inheritance as Coercion in the Kenzo System
Дата
Авторы
Domínguez Pérez,César
Rubio,Julio
Sergeraert,Francis
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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