Difference between revisions of "Publications/demaille.14.ciaa"
From LRDE
(demaille.14.ciaa: add my name to the list of authors; somebody must have forgotten me :-)) |
|||
| Line 2: | Line 2: | ||
| published = true |
| published = true |
||
| date = 2014-05-20 |
| 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 |
| title = A Type System for Weighted Automata and Rational Expressions |
||
| booktitle = Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14) |
| booktitle = Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14) |
||
| Line 25: | Line 25: | ||
@InProceedings<nowiki>{</nowiki> demaille.14.ciaa, |
@InProceedings<nowiki>{</nowiki> demaille.14.ciaa, |
||
author = <nowiki>{</nowiki>Akim Demaille and Alexandre Duret-Lutz and Sylvain |
author = <nowiki>{</nowiki>Akim Demaille and Alexandre Duret-Lutz and Sylvain |
||
| − | Lombardy and Jacques Sakarovitch<nowiki>}</nowiki>, |
+ | Lombardy and Luca Saiu and and Jacques Sakarovitch<nowiki>}</nowiki>, |
title = <nowiki>{</nowiki>A Type System for Weighted Automata and Rational |
title = <nowiki>{</nowiki>A Type System for Weighted Automata and Rational |
||
Expressions<nowiki>}</nowiki>, |
Expressions<nowiki>}</nowiki>, |
||
Revision as of 23:09, 10 June 2014
- 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
- 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.
Bibtex (lrde.bib)
@InProceedings{ demaille.14.ciaa,
author = {Akim Demaille and Alexandre Duret-Lutz and Sylvain
Lombardy and Luca Saiu and 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)},
fixmepages = {},
year = 2014,
fixmeeditor = {},
fixmepublisher= {Springer},
fixmeisbn = {},
fixmevolume = {},
fixmeseries = {Lecture Notes in Computer Science},
address = {Giessen, Germany},
month = jul,
project = {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. },
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}
}