Difference between revisions of "Publications/demaille.13.ciaa"

Latest revision as of 11:30, 1 April 2019

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

Paper

Slides

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}
}

@@ Line 1: / Line 1: @@
 {{Publication
-| date = 2013-07-01
+| published = true
+| date = 2013-05-02
 | authors = Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
 | title = Implementation Concepts in Vaucanson 2
 | booktitle = Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13)
-| optpages = 96--107
+| pages = 122 to 133
+| editors = Stavros Konstantinidis
-| opteditor = Oscar H. Ibarra and Zhe Dang
-| optpublisher = Springer
+| publisher = Springer
-| optvolume = 2759
+| volume = 7982
-| optseries = Lecture Notes in Computer Science
+| series = Lecture Notes in Computer Science
-| optaddress = Santa Barbara, CA, USA
+| address = Halifax, NS, Canada
-| project = Vaucanson
+| lrdeprojects = Vaucanson
-| urllrde = 201307-CIAA
 | 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.
 | lrdeinc = demaille.13.ciaa.inc
+| lrdeslides = http://www.lrde.epita.fr/dload/papers/demaille.13.ciaa.slides.pdf
+| lrdepaper = http://www.lrde.epita.fr/dload/papers/demaille.13.ciaa.pdf
+| lrdenewsdate = 2013-05-02
 | type = inproceedings
 | id = demaille.13.ciaa
+| identifier = doi:10.1007/978-3-642-39274-0_12
 | bibtex =
 @InProceedings<nowiki>{</nowiki>	  demaille.13.ciaa,
@@ Line 23: / Line 27: @@
   booktitle	= <nowiki>{</nowiki>Proceedings of Implementation and Application of Automata,
 th International Conference (CIAA'13)<nowiki>}</nowiki>,
-  optpages	= <nowiki>{</nowiki>96--107<nowiki>}</nowiki>,
+  pages		= <nowiki>{</nowiki>122--133<nowiki>}</nowiki>,
   year		= 2013,
-  opteditor	= <nowiki>{</nowiki>Oscar H. Ibarra and Zhe Dang<nowiki>}</nowiki>,
+  editor	= <nowiki>{</nowiki>Stavros Konstantinidis<nowiki>}</nowiki>,
-  optpublisher	= <nowiki>{</nowiki>Springer<nowiki>}</nowiki>,
+  publisher	= <nowiki>{</nowiki>Springer<nowiki>}</nowiki>,
+  isbn		= <nowiki>{</nowiki>978-3-642-39274-0<nowiki>}</nowiki>,
-  optvolume	= 2759,
+  volume	= 7982,
-  optseries	= <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>,
-  optaddress	= <nowiki>{</nowiki>Santa Barbara, CA, USA<nowiki>}</nowiki>,
+  series	= <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>,
+  address	= <nowiki>{</nowiki>Halifax, NS, Canada<nowiki>}</nowiki>,
   month		= jul,
-  project	= <nowiki>{</nowiki>Vaucanson<nowiki>}</nowiki>,
   abstract	= <nowiki>{</nowiki>Vaucanson is an open source C++ platform dedicated to the
 		  computation with finite weighted automata. It is generic:
@@ Line 40: / Line 44: @@
 		  as performance issues. This paper presents the concepts
 		  underlying Vaucanson 2, a complete rewrite of the platform
-		  that addresses these issues.<nowiki>}</nowiki>
+		  that addresses these issues.<nowiki>}</nowiki>,
+  doi		= <nowiki>{</nowiki>10.1007/978-3-642-39274-0_12<nowiki>}</nowiki>
 <nowiki>}</nowiki>