We are happy to announce that the following paper has been accepted
for publication at the 18th International Conference on Implementation
and Application of Automata (CIAA'13) that will take place in Saint
Mary's University, Halifax, Nova Scotia, Canada, on July 16-19, 2013.
Implementation Concepts in Vaucanson 2
Akim Demaille (1), Alexandre Duret-Lutz (1), Sylvain Lombardy (2),
and Jacques Sakarovitch (3)
(1) LRDE, EPITA
(2) LaBRI, Université de Bordeaux
(3) LTCI, CNRS / Télécom-ParisTech
http://publis.lrde.epita.fr/201307-CIAA
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.