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

Latest revision as of 11:30, 1 April 2019

Authors: Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
Where: Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)
Place: Giessen, Germany
Type: inproceedings
Publisher: Springer
Projects: Vaucanson
Date: 2014-05-20

Abstract

We present a type system for automata and rational expressions, expressive enough to encompass weighted automata and transducers in a single coherent formalism. The system allows to express useful properties about the applicability of operations including binary heterogeneous functions over automata. We apply the type system to the design of the vcsnd platform, a library dedicated to the computation with finite weighted automata, in which genericity and high efficiency are obtained at the lowest level through the use of template metaprogramming, by letting the template system play the role of a static type system for automata. Between such a low-level layer and the interactive high-level interface, the type system plays the crucial role of a mediator and allows for a cleanly-structured use of dynamic compilation.

Documents

Paper

Slides

Videos

Bibtex (lrde.bib)

@InProceedings{	  demaille.14.ciaa,
  author	= {Akim Demaille and Alexandre Duret-Lutz and Sylvain
		  Lombardy and Luca Saiu and Jacques Sakarovitch},
  title		= {A Type System for Weighted Automata and Rational
		  Expressions},
  booktitle	= {Proceedings of Implementation and Application of Automata,
		  19th International Conference (CIAA'14)},
  year		= 2014,
  publisher	= {Springer},
  series	= {Lecture Notes in Computer Science},
  volume	= 8587,
  address	= {Giessen, Germany},
  month		= jul,
  abstract	= {We present a type system for automata and rational
		  expressions, expressive enough to encompass weighted
		  automata and transducers in a single coherent formalism.
		  The system allows to express useful properties about the
		  applicability of operations including binary heterogeneous
		  functions over automata.\\ We apply the type system to the
		  design of the \vcsnd platform, a library dedicated to the
		  computation with finite weighted automata, in which
		  genericity and high efficiency are obtained at the lowest
		  level through the use of template metaprogramming, by
		  letting the template system play the role of a static type
		  system for automata. Between such a low-level layer and the
		  interactive high-level interface, the type system plays the
		  crucial role of a mediator and allows for a
		  cleanly-structured use of dynamic compilation. },
  doi		= {10.1007/978-3-319-08846-4_12}
}

@@ Line 1: / Line 1: @@
 {{Publication
 | published = true
-| date = 2014-07-01
+| date = 2014-05-20
-| authors = Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch
+| authors = Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch
 | title = A Type System for Weighted Automata and Rational Expressions
 | booktitle = Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14)
-| fixmepages =
+| publisher = Springer
+| series = Lecture Notes in Computer Science
-| fixmeeditor =
+| volume = 8587
-| fixmepublisher = Springer
+| address = Giessen, Germany
-| fixmeisbn =
-| fixmevolume =
-| fixmeseries = Lecture Notes in Computer Science
-| fixmeaddress =
-| project = Vaucanson
-| urllrde = 201407-CIAA
-| abstract = We present a type system for automata and rational expressions, expressive enough to encompass weighted automata and transducers in a single coherent formalism. The system allows to express useful properties about the applicability of operations including binary heterogeneous functions over automata. We apply the type system to the design of the vcsnd platform, a library dedicated to the computation with finite weighted automata, in which genericity and high efficiency are obtained at the lowest level through the use of template metaprogramming, by letting the template system play the role of a static type system for automata.  Between such a low-level layer and the interactive high-level interface, the type system plays the crucial role of a mediator and allows for a cleanly-structured use of dynamic compilation.
-| fixmelrdeinc = demaille.14.ciaa.inc
-| fixmelrdeslides = http://www.lrde.epita.fr/dload/papers/demaille.14.ciaa.slides.pdf
-| fixmelrdepaper = http://www.lrde.epita.fr/dload/papers/demaille.14.ciaa.pdf
 | lrdeprojects = Vaucanson
+| abstract = We present a type system for automata and rational expressions, expressive enough to encompass weighted automata and transducers in a single coherent formalism. The system allows to express useful properties about the applicability of operations including binary heterogeneous functions over automata. We apply the type system to the design of the vcsnd platform, a library dedicated to the computation with finite weighted automata, in which genericity and high efficiency are obtained at the lowest level through the use of template metaprogramming, by letting the template system play the role of a static type system for automata. Between such a low-level layer and the interactive high-level interface, the type system plays the crucial role of a mediator and allows for a cleanly-structured use of dynamic compilation.
-| fixmelrdenewsdate =
+| lrdeinc = demaille.14.ciaa.inc
+| lrdeslides = http://www.lrde.epita.fr/dload/papers/demaille.14.ciaa.slides.pdf
+| lrdepaper = http://www.lrde.epita.fr/dload/papers/demaille.14.ciaa.pdf
+| lrdenewsdate = 2014-05-20
 | type = inproceedings
 | id = demaille.14.ciaa
+| identifier = doi:10.1007/978-3-319-08846-4_12
 | bibtex =
 @InProceedings<nowiki>{</nowiki>	  demaille.14.ciaa,
   author	= <nowiki>{</nowiki>Akim Demaille and Alexandre Duret-Lutz and Sylvain
-		  Lombardy and Jacques Sakarovitch<nowiki>}</nowiki>,
+		  Lombardy and Luca Saiu and Jacques Sakarovitch<nowiki>}</nowiki>,
   title		= <nowiki>{</nowiki>A Type System for Weighted Automata and Rational
 		  Expressions<nowiki>}</nowiki>,
   booktitle	= <nowiki>{</nowiki>Proceedings of Implementation and Application of Automata,
 th International Conference (CIAA'14)<nowiki>}</nowiki>,
-  fixmepages	= <nowiki>{</nowiki><nowiki>}</nowiki>,
   year		= 2014,
-  fixmeeditor	= <nowiki>{</nowiki><nowiki>}</nowiki>,
+  publisher	= <nowiki>{</nowiki>Springer<nowiki>}</nowiki>,
-  fixmepublisher= <nowiki>{</nowiki>Springer<nowiki>}</nowiki>,
+  series	= <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>,
+  volume	= 8587,
-  fixmeisbn	= <nowiki>{</nowiki><nowiki>}</nowiki>,
-  fixmevolume	= <nowiki>{</nowiki><nowiki>}</nowiki>,
+  address	= <nowiki>{</nowiki>Giessen, Germany<nowiki>}</nowiki>,
-  fixmeseries	= <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>,
-  fixmeaddress	= <nowiki>{</nowiki><nowiki>}</nowiki>,
   month		= jul,
-  project	= <nowiki>{</nowiki>Vaucanson<nowiki>}</nowiki>,
   abstract	= <nowiki>{</nowiki>We present a type system for automata and rational
 		  expressions, expressive enough to encompass weighted
@@ Line 55: / Line 47: @@
 		  crucial role of a mediator and allows for a
 		  cleanly-structured use of dynamic compilation. <nowiki>}</nowiki>,
-  fixmelrdeinc	= <nowiki>{</nowiki>demaille.14.ciaa.inc<nowiki>}</nowiki>,
+  doi		= <nowiki>{</nowiki>10.1007/978-3-319-08846-4_12<nowiki>}</nowiki>
-  fixmelrdeslides=<nowiki>{</nowiki>http://www.lrde.epita.fr/dload/papers/demaille.14.ciaa.slides.pdf<nowiki>}</nowiki>
-		  ,
-  fixmelrdepaper= <nowiki>{</nowiki>http://www.lrde.epita.fr/dload/papers/demaille.14.ciaa.pdf<nowiki>}</nowiki>
-		  ,
-  fixmelrdenewsdate=<nowiki>{</nowiki><nowiki>}</nowiki>
 <nowiki>}</nowiki>