Towards Diagrammatic Specifications of Symbolic Computation Systems.

  1. Domínguez Pérez, César
  2. Duval, D.
  3. Lambán Pardo, Laureano
  4. Rubio García, Julio
Revista:
Dagstuhl Seminar Proceedings

ISSN: 1862-4405

Año de publicación: 2005

Tipo: Artículo

GOOGLE SCHOLAR lock_openAcceso abierto editor

Otras publicaciones en: Dagstuhl Seminar Proceedings

Repositorio institucional: lock_openAcceso abierto Editor

Resumen

The aim of this work is to present an ongoing project to formalize,in the framework of diagrammatic logic (due to Dominique Duvaland Christian Lair) some data structures appearing in Sergeraert’s symbolic computation systems Kenzo and EAT. More precisely, we intend to translate into the diagrammatic setting a previous work based on standard algebraic specification techniques. In particular, we give hints onthe reason why an important construction (called imp construction) inthe specification of the systems can be understood as a freely generating functor between suitable categories of diagrammatic realizations. Even if very partial, these positive results seem to indicate that this new kind of specification is promising in the field of symbolic computation