License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05021.22
URN: urn:nbn:de:0030-drops-2927
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/292/
Go to the corresponding Portal

Dominguez, César ; Duval, Dominique ; Lamban, Laureano ; Rubio Garcia, Julio

Towards Diagrammatic Specifications of Symbolic Computation Systems

pdf-format:
05021.DominguezCesar.Paper.292.pdf (0.5 MB)

Abstract

The aim of this work is to present an ongoing project to
formalize, in the framework of diagrammatic logic (due to
Dominique Duval and 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 on the reason why an
important construction (called imp construction) in the
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.

BibTeX - Entry

@InProceedings{dominguez_et_al:DagSemProc.05021.22,
  author =	{Dominguez, C\'{e}sar and Duval, Dominique and Lamban, Laureano and Rubio Garcia, Julio},
  title =	{{Towards Diagrammatic Specifications of Symbolic Computation Systems}},
  booktitle =	{Mathematics, Algorithms, Proofs},
  pages =	{1--23},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5021},
  editor =	{Thierry Coquand and Henri Lombardi and Marie-Fran\c{c}oise Roy},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2006/292},
  URN =		{urn:nbn:de:0030-drops-2927},
  doi =		{10.4230/DagSemProc.05021.22},
  annote =	{Keywords: Specification, symbolic computation, sketches, diagrammatic logic}
}

Keywords: Specification, symbolic computation, sketches, diagrammatic logic
Collection: 05021 - Mathematics, Algorithms, Proofs
Issue Date: 2006
Date of publication: 16.01.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI