Hidden Specification of a Functional System

  1. Domínguez, C. 1
  2. Lambán, L. 1
  3. Pascual, V. 1
  4. Rubio, J. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Revista:
Lecture Notes in Computer Science

ISSN: 0302-9743

Año de publicación: 2001

Volumen: 2178 LNCS

Páginas: 555-569

Tipo: Artículo

SCOPUS: 2-s2.0-25544470565 WoS: WOS:000189225100043 GOOGLE SCHOLAR

Otras publicaciones en: Lecture Notes in Computer Science

Resumen

This paper is devoted to the formal study of the data structures appearing in a symbolic computation system, namely the EAT system. One of the main features of the EAT system is that it intensively uses functional programming techniques. This implies that some formalisms for the algebraic specification of systems must be adapted to this functional setting. Specifically, this work deals with hidden and coalgebraic methodologies through an institutional framework. As a byproduct, the new concept of coalgebraic institution associated to an institution is introduced. Then, the problem of modeling functorial relationships between data structures is tackled, giving a hidden specification for this aspect of the EAT system and proving the existence of final objects in convenient categories, which accurately model the EAT way of working. © 2011 Springer-Verlag Berlin Heidelberg.