An object-oriented interpretation of the EAT system
- Lambán, L. 1
- Pascual, V. 1
- Rubio, J. 1
-
1
Universidad de La Rioja
info
ISSN: 0938-1279
Año de publicación: 2003
Volumen: 14
Número: 3
Páginas: 187-215
Tipo: Artículo
Otras publicaciones en: Applicable Algebra in Engineering, Communications and Computing
Resumen
In a previous paper we characterized, in the Category Theory setting, a class of implementations of Abstract Data Types, which has been suggested by the way of programming in the EAT system. (EAT, Effective Algebraic Topology, is one of Sergeraert's systems for effective homology and homotopy computation.) This characterization was established using classical tools, in an unrelated way to the current mainstream topics in the field of Algebraic Specifications. Looking for a connection with these topics, we have found, rather unexpectedly, that our approach is related to some object-oriented formalisms, namely hidden specifications and the coalgebraic view. In this paper, we explore these relations making explicit the implicit object-oriented features of the EAT system and generalizing the data structure analysis we had previously done.