Towards a diagrammatic modeling of the LinBox C++ linear algebra library

We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category theory and in particular of the pushout tool. We show that most of the object-oriented structures can be described with this tool and have many examples in C++, ranging from virtual inheritance and polymo...

Full description

Bibliographic Details
Main Authors: Dumas, Jean-Guillaume, Duval, Dominique
Format: Report
Language:unknown
Published: arXiv 2005
Subjects:
DML
Online Access:https://dx.doi.org/10.48550/arxiv.cs/0510057
https://arxiv.org/abs/cs/0510057
id ftdatacite:10.48550/arxiv.cs/0510057
record_format openpolar
spelling ftdatacite:10.48550/arxiv.cs/0510057 2023-05-15T16:01:51+02:00 Towards a diagrammatic modeling of the LinBox C++ linear algebra library Dumas, Jean-Guillaume Duval, Dominique 2005 https://dx.doi.org/10.48550/arxiv.cs/0510057 https://arxiv.org/abs/cs/0510057 unknown arXiv Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004 http://arxiv.org/licenses/assumed-1991-2003/ Symbolic Computation cs.SC FOS Computer and information sciences D.2.12; I.6.5; D.1.5; D.3.3; G.4 Preprint Article article CreativeWork 2005 ftdatacite https://doi.org/10.48550/arxiv.cs/0510057 2022-04-01T16:15:19Z We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category theory and in particular of the pushout tool. We show that most of the object-oriented structures can be described with this tool and have many examples in C++, ranging from virtual inheritance and polymorphism to template genericity. With this powerful tool, we propose a quite simple description of the C++ LinBox library. This library has been designed for efficiency and genericity and therefore makes heavy usage of complex template and polymorphic mecanism. Be reverse engineering, we are able to describe in a simple manner the complex structure of archetypes in LinBox. : Published in Langages et Mod\`eles \`a Objets, N\^imes : France (2006) Report DML DataCite Metadata Store (German National Library of Science and Technology)
institution Open Polar
collection DataCite Metadata Store (German National Library of Science and Technology)
op_collection_id ftdatacite
language unknown
topic Symbolic Computation cs.SC
FOS Computer and information sciences
D.2.12; I.6.5; D.1.5; D.3.3; G.4
spellingShingle Symbolic Computation cs.SC
FOS Computer and information sciences
D.2.12; I.6.5; D.1.5; D.3.3; G.4
Dumas, Jean-Guillaume
Duval, Dominique
Towards a diagrammatic modeling of the LinBox C++ linear algebra library
topic_facet Symbolic Computation cs.SC
FOS Computer and information sciences
D.2.12; I.6.5; D.1.5; D.3.3; G.4
description We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category theory and in particular of the pushout tool. We show that most of the object-oriented structures can be described with this tool and have many examples in C++, ranging from virtual inheritance and polymorphism to template genericity. With this powerful tool, we propose a quite simple description of the C++ LinBox library. This library has been designed for efficiency and genericity and therefore makes heavy usage of complex template and polymorphic mecanism. Be reverse engineering, we are able to describe in a simple manner the complex structure of archetypes in LinBox. : Published in Langages et Mod\`eles \`a Objets, N\^imes : France (2006)
format Report
author Dumas, Jean-Guillaume
Duval, Dominique
author_facet Dumas, Jean-Guillaume
Duval, Dominique
author_sort Dumas, Jean-Guillaume
title Towards a diagrammatic modeling of the LinBox C++ linear algebra library
title_short Towards a diagrammatic modeling of the LinBox C++ linear algebra library
title_full Towards a diagrammatic modeling of the LinBox C++ linear algebra library
title_fullStr Towards a diagrammatic modeling of the LinBox C++ linear algebra library
title_full_unstemmed Towards a diagrammatic modeling of the LinBox C++ linear algebra library
title_sort towards a diagrammatic modeling of the linbox c++ linear algebra library
publisher arXiv
publishDate 2005
url https://dx.doi.org/10.48550/arxiv.cs/0510057
https://arxiv.org/abs/cs/0510057
genre DML
genre_facet DML
op_rights Assumed arXiv.org perpetual, non-exclusive license to distribute this article for submissions made before January 2004
http://arxiv.org/licenses/assumed-1991-2003/
op_doi https://doi.org/10.48550/arxiv.cs/0510057
_version_ 1766397550851522560