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...
Main Authors: | , |
---|---|
Format: | Text |
Language: | unknown |
Published: |
2005
|
Subjects: | |
Online Access: | http://arxiv.org/abs/cs/0510057 |
id |
ftarxivpreprints:oai:arXiv.org:cs/0510057 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:cs/0510057 2023-09-05T13:19:06+02:00 Towards a diagrammatic modeling of the LinBox C++ linear algebra library Dumas, Jean-Guillaume Duval, Dominique 2005-10-20 http://arxiv.org/abs/cs/0510057 unknown http://arxiv.org/abs/cs/0510057 Computer Science - Symbolic Computation D.2.12 I.6.5 D.1.5 D.3.3 G.4 text 2005 ftarxivpreprints 2023-08-16T18:26:53Z 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. Comment: Published in Langages et Mod\`eles \`a Objets, N\^imes : France (2006) Text DML ArXiv.org (Cornell University Library) |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Computer Science - Symbolic Computation D.2.12 I.6.5 D.1.5 D.3.3 G.4 |
spellingShingle |
Computer Science - Symbolic Computation 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 |
Computer Science - Symbolic Computation 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. Comment: Published in Langages et Mod\`eles \`a Objets, N\^imes : France (2006) |
format |
Text |
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 |
publishDate |
2005 |
url |
http://arxiv.org/abs/cs/0510057 |
genre |
DML |
genre_facet |
DML |
op_relation |
http://arxiv.org/abs/cs/0510057 |
_version_ |
1776199918287847424 |