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

Zeitschrift:
Applicable Algebra in Engineering, Communications and Computing

ISSN: 0938-1279

Datum der Publikation: 2003

Ausgabe: 14

Nummer: 3

Seiten: 187-215

Art: Artikel

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

Andere Publikationen in: Applicable Algebra in Engineering, Communications and Computing

Institutionelles Repository: lock_openOpen Access Editor

Zusammenfassung

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.