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

Journal:
Lecture Notes in Computer Science

ISSN: 0302-9743

Year of publication: 2001

Volume: 2178 LNCS

Pages: 555-569

Type: Article

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

More publications in: Lecture Notes in Computer Science

Abstract

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.