An object-oriented interpretation of the EAT system

  1. Lambán, L. 1
  2. Pascual, V. 1
  3. Rubio, J. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Revista:
Applicable Algebra in Engineering, Communications and Computing

ISSN: 0938-1279

Año de publicación: 2003

Volumen: 14

Número: 3

Páginas: 187-215

Tipo: Artículo

DOI: 10.1007/S00200-003-0129-1 SCOPUS: 2-s2.0-0344493939 WoS: WOS:000186465600003 GOOGLE SCHOLAR

Otras publicaciones en: Applicable Algebra in Engineering, Communications and Computing

Repositorio institucional: lock_openAcceso abierto Editor

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.