Implementation Concepts in Vaucanson 2
From LRDE
- Authors
- Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
- Where
- Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)
- Place
- Halifax, NS, Canada
- Type
- inproceedings
- Publisher
- Springer
- Projects
- Vaucanson
- Date
- 2013-05-02
Abstract
Vaucanson is an open source C++ platform dedicated to the computation with finite weighted automata. It is generic: it allows to write algorithms that apply on a wide set of mathematical objects. Initiated ten years ago, several shortcomings were discovered along the years, especially problems related to code complexity and obfuscation as well as performance issues. This paper presents the concepts underlying Vaucanson 2, a complete rewrite of the platform that addresses these issues.
Documents
Videos
Bibtex (lrde.bib)
@InProceedings{ demaille.13.ciaa,
author = {Akim Demaille and Alexandre Duret-Lutz and Sylvain
Lombardy and Jacques Sakarovitch},
title = {Implementation Concepts in {V}aucanson 2},
booktitle = {Proceedings of Implementation and Application of Automata,
18th International Conference (CIAA'13)},
pages = {122--133},
year = 2013,
editor = {Stavros Konstantinidis},
publisher = {Springer},
isbn = {978-3-642-39274-0},
volume = 7982,
series = {Lecture Notes in Computer Science},
address = {Halifax, NS, Canada},
month = jul,
abstract = {Vaucanson is an open source C++ platform dedicated to the
computation with finite weighted automata. It is generic:
it allows to write algorithms that apply on a wide set of
mathematical objects. Initiated ten years ago, several
shortcomings were discovered along the years, especially
problems related to code complexity and obfuscation as well
as performance issues. This paper presents the concepts
underlying Vaucanson 2, a complete rewrite of the platform
that addresses these issues.},
doi = {10.1007/978-3-642-39274-0_12}
}