Towards a diagrammatic modeling of the LinBox C++ linear algebra library
International audience 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...
Main Authors: | , |
---|---|
Other Authors: | , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2006
|
Subjects: | |
Online Access: | https://hal.science/hal-00012346 https://hal.science/hal-00012346v2/document https://hal.science/hal-00012346v2/file/DML_LinBox.pdf |
id |
ftunivnantes:oai:HAL:hal-00012346v2 |
---|---|
record_format |
openpolar |
spelling |
ftunivnantes:oai:HAL:hal-00012346v2 2023-05-15T16:01:53+02:00 Towards a diagrammatic modeling of the LinBox C++ linear algebra library Dumas, Jean-Guillaume Duval, Dominique Laboratoire de Modélisation et Calcul (LMC - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS) Projet IMAG InCa Roger Rousseau Christelle Urtado Sylvain Vauttier Nîmes, France 2006-03-22 https://hal.science/hal-00012346 https://hal.science/hal-00012346v2/document https://hal.science/hal-00012346v2/file/DML_LinBox.pdf en eng HAL CCSD Hermès Lavoisier info:eu-repo/semantics/altIdentifier/arxiv/cs.SC/0510057 hal-00012346 https://hal.science/hal-00012346 https://hal.science/hal-00012346v2/document https://hal.science/hal-00012346v2/file/DML_LinBox.pdf ARXIV: cs.SC/0510057 info:eu-repo/semantics/OpenAccess Langages et Modèles à Objets https://hal.science/hal-00012346 Langages et Modèles à Objets, Mar 2006, Nîmes, France. pp.117-132 Diagrammatic specifications C++ Modeling Object-oriented modeling Diagrammatic Modeling categories linear algebra modeling D.2.12;I.6.5;D.1.5;D.3.3;G.4 [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] info:eu-repo/semantics/conferenceObject Conference papers 2006 ftunivnantes 2023-02-08T01:20:06Z International audience 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. Conference Object DML Université de Nantes: HAL-UNIV-NANTES |
institution |
Open Polar |
collection |
Université de Nantes: HAL-UNIV-NANTES |
op_collection_id |
ftunivnantes |
language |
English |
topic |
Diagrammatic specifications C++ Modeling Object-oriented modeling Diagrammatic Modeling categories linear algebra modeling D.2.12;I.6.5;D.1.5;D.3.3;G.4 [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] |
spellingShingle |
Diagrammatic specifications C++ Modeling Object-oriented modeling Diagrammatic Modeling categories linear algebra modeling D.2.12;I.6.5;D.1.5;D.3.3;G.4 [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] Dumas, Jean-Guillaume Duval, Dominique Towards a diagrammatic modeling of the LinBox C++ linear algebra library |
topic_facet |
Diagrammatic specifications C++ Modeling Object-oriented modeling Diagrammatic Modeling categories linear algebra modeling D.2.12;I.6.5;D.1.5;D.3.3;G.4 [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] |
description |
International audience 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. |
author2 |
Laboratoire de Modélisation et Calcul (LMC - IMAG) Université Joseph Fourier - Grenoble 1 (UJF)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS) Projet IMAG InCa Roger Rousseau Christelle Urtado Sylvain Vauttier |
format |
Conference Object |
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 |
HAL CCSD |
publishDate |
2006 |
url |
https://hal.science/hal-00012346 https://hal.science/hal-00012346v2/document https://hal.science/hal-00012346v2/file/DML_LinBox.pdf |
op_coverage |
Nîmes, France |
genre |
DML |
genre_facet |
DML |
op_source |
Langages et Modèles à Objets https://hal.science/hal-00012346 Langages et Modèles à Objets, Mar 2006, Nîmes, France. pp.117-132 |
op_relation |
info:eu-repo/semantics/altIdentifier/arxiv/cs.SC/0510057 hal-00012346 https://hal.science/hal-00012346 https://hal.science/hal-00012346v2/document https://hal.science/hal-00012346v2/file/DML_LinBox.pdf ARXIV: cs.SC/0510057 |
op_rights |
info:eu-repo/semantics/OpenAccess |
_version_ |
1766397570585722880 |