Difference between revisions of "Publications/regisgianas.03.poosc"

From LRDE

(Created page with "{{Publication | date = 2003-07-01 | authors = Yann Régis-Gianas, Raphaël Poss | title = On orthogonal specialization in C++: dealing with efficiency and algebraic abstractio...")
 
Line 12: Line 12:
 
| urllrde = 200307-Poosc
 
| urllrde = 200307-Poosc
 
| abstract = Vaucanson is a C++ generic library for weighted finite state machine manipulation. For the sake of generality, FSM are defined using algebraic structures such as alphabet (for the letters), free monoid (for the words), semiring (for the weights) and series (mapping from words to weights). As usual, what is at stake is to maintain efficiency while providing a high-level layer for the writing of generic algorithms. Yet, one of the particularities of FSM manipulation is the need of a fine grained specialization power on an object which is both an algebraic concept and an intensive computing machine.
 
| abstract = Vaucanson is a C++ generic library for weighted finite state machine manipulation. For the sake of generality, FSM are defined using algebraic structures such as alphabet (for the letters), free monoid (for the words), semiring (for the weights) and series (mapping from words to weights). As usual, what is at stake is to maintain efficiency while providing a high-level layer for the writing of generic algorithms. Yet, one of the particularities of FSM manipulation is the need of a fine grained specialization power on an object which is both an algebraic concept and an intensive computing machine.
  +
| lrdepaper = http://www.lrde.epita.fr/dload/papers/poosc03-vaucanson.pdf
  +
| lrdeprojects = Vaucanson
 
| type = inproceedings
 
| type = inproceedings
 
| id = regisgianas.03.poosc
 
| id = regisgianas.03.poosc
Line 40: Line 42:
 
particularities of FSM manipulation is the need of a fine
 
particularities of FSM manipulation is the need of a fine
 
grained specialization power on an object which is both an
 
grained specialization power on an object which is both an
algebraic concept and an intensive computing machine.<nowiki>}</nowiki>
+
algebraic concept and an intensive computing machine.<nowiki>}</nowiki>,
  +
lrdeprojects = <nowiki>{</nowiki>Vaucanson<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
   

Revision as of 17:08, 4 November 2013

Abstract

Vaucanson is a C++ generic library for weighted finite state machine manipulation. For the sake of generality, FSM are defined using algebraic structures such as alphabet (for the letters), free monoid (for the words), semiring (for the weights) and series (mapping from words to weights). As usual, what is at stake is to maintain efficiency while providing a high-level layer for the writing of generic algorithms. Yet, one of the particularities of FSM manipulation is the need of a fine grained specialization power on an object which is both an algebraic concept and an intensive computing machine.

Documents

Bibtex (lrde.bib)

@InProceedings{	  regisgianas.03.poosc,
  author	= {Yann R\'egis-Gianas and Rapha\"el Poss},
  title		= {On orthogonal specialization in {C++}: dealing with
		  efficiency and algebraic abstraction in {V}aucanson},
  booktitle	= {Proceedings of the Parallel/High-performance
		  Object-Oriented Scientific Computing (POOSC; in conjunction
		  with ECOOP)},
  year		= 2003,
  number	= {FZJ-ZAM-IB-2003-09},
  pages		= {71--82},
  editor	= {J\"org Striegnitz and Kei Davis},
  series	= {John von Neumann Institute for Computing (NIC)},
  address	= {Darmstadt, Germany},
  month		= jul,
  project	= {Vaucanson},
  abstract	= {Vaucanson is a C++ generic library for weighted finite
		  state machine manipulation. For the sake of generality, FSM
		  are defined using algebraic structures such as alphabet
		  (for the letters), free monoid (for the words), semiring
		  (for the weights) and series (mapping from words to
		  weights). As usual, what is at stake is to maintain
		  efficiency while providing a high-level layer for the
		  writing of generic algorithms. Yet, one of the
		  particularities of FSM manipulation is the need of a fine
		  grained specialization power on an object which is both an
		  algebraic concept and an intensive computing machine.},
  lrdeprojects	= {Vaucanson}
}