Sciweavers

JUCS
2006

Modeling Inheritance as Coercion in the Kenzo System

13 years 3 months ago
Modeling Inheritance as Coercion in the Kenzo System
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. Key Words: Algebraic specification, symbolic computation, inheritance, coercion. Category: F.3.1
César Domínguez, Julio Rubio, Franci
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JUCS
Authors César Domínguez, Julio Rubio, Francis Sergeraert
Comments (0)