Modeling Inheritance as coercion in the Kenzo System.
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...
| Autores: | , , |
|---|---|
| Formato: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2006 |
| País: | España |
| Recursos: | Universidad de La Rioja (UR) |
| Repositorio: | RIUR. Repositorio Institucional de la Universidad de La Rioja |
| OAI Identifier: | oai:portal.dialnet.es:doc/5bbc6a13b750603269e8268f |
| Acesso em linha: | https://investigacion.unirioja.es/documentos/5bbc6a13b750603269e8268f |
| Access Level: | acceso abierto |
| Palavra-chave: | Algebraic specification Coercion Inheritance Symbolic computation |
| Resumo: | 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. |
|---|