Difference between revisions of "Publications/demaille.13.ciaa"
From LRDE
Line 5: | Line 5: | ||
| title = Implementation Concepts in Vaucanson 2 |
| title = Implementation Concepts in Vaucanson 2 |
||
| booktitle = Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) |
| booktitle = Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) |
||
− | | pages = |
+ | | pages = 122 to 133 |
| editors = Stavros Konstantinidis |
| editors = Stavros Konstantinidis |
||
| publisher = Springer |
| publisher = Springer |
Revision as of 18:56, 4 January 2018
- 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.} }