面向 LinBox C++ 线性代数库的图示建模
符号计算
2008-09-04 v1
摘要
我们提出了一种新的图示建模语言 DLM。所采用的范式是范畴论，特别是涉及 pushout 工具。我们展示了大多数面向对象结构都可以用该工具描述，并提供了来自 C++ 的大量实例，从虚拟继承和多态性到模板泛型。借助这一强大工具，我们提出了对 C++ LinBox 库的简洁描述。该库设计用于效率和泛型，因此大量使用复杂的模板和多态机制。通过逆向工程，我们能够以一种简单的方式描述 LinBox 中复杂的原型结构。
引用
@article{arxiv.cs/0510057,
title = {Towards a diagrammatic modeling of the LinBox C++ linear algebra library},
author = {Jean-Guillaume Dumas and Dominique Duval},
journal= {arXiv preprint arXiv:cs/0510057},
year = {2008}
}
备注
Published in Langages et Mod\`eles \`a Objets, N\^imes : France (2006)