On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson. Régis-Gianas, Y. & Poss, R. In Striegnitz, J. & Davis, K., editors, Proc. Workshop on Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP), of John von Neumann Institute for Computing (NIC), Darmstadt, Germany, July, 2003. Local abstract bibtex 1 download 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.
@inproceedings{regisgianas03poosc,
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.},
Address = {Darmstadt, Germany},
Author = {Yann R{\'e}gis-Gianas and Raphael Poss},
Booktitle = {Proc. Workshop on Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP)},
Editor = {J{\"o}rg Striegnitz and Kei Davis},
Keywords = {Vaucanson, C++, generic programming},
Month = {July},
Number = {FZJ-ZAM-IB-2003-09},
Page = {71--82},
Project = {Vaucanson},
Read = {Oui},
Series = {John von Neumann Institute for Computing (NIC)},
Title = {On orthogonal specialization in {C++}: dealing with efficiency and algebraic abstraction in {V}aucanson},
Urllocal = {pub/regisgianas.03.poosc.pdf},
Year = {2003},
}
Downloads: 1
{"_id":{"_str":"5342bd570e946d920a0034f4"},"__v":1,"authorIDs":["54c2dea9b5fb1e5511000919","5dfafc26fa2bbbde01000122","5e35eb445cd57fde01000070","5e38ff13dc5b8ade01000077","5e64a5962551dede01000063","ZGRaLkjmxPcmJ739z","efnDKftzuGYiXXauW","pgjx6rQxQDmzHuwRK","sCob7zjTXbp95CmbP"],"author_short":["Régis-Gianas, Y.","Poss, R."],"bibbaseid":"rgisgianas-poss-onorthogonalspecializationincdealingwithefficiencyandalgebraicabstractioninvaucanson-2003","bibdata":{"bibtype":"inproceedings","type":"inproceedings","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.","address":"Darmstadt, Germany","author":[{"firstnames":["Yann"],"propositions":[],"lastnames":["Régis-Gianas"],"suffixes":[]},{"firstnames":["Raphael"],"propositions":[],"lastnames":["Poss"],"suffixes":[]}],"booktitle":"Proc. Workshop on Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP)","editor":[{"firstnames":["Jörg"],"propositions":[],"lastnames":["Striegnitz"],"suffixes":[]},{"firstnames":["Kei"],"propositions":[],"lastnames":["Davis"],"suffixes":[]}],"keywords":"Vaucanson, C++, generic programming","month":"July","number":"FZJ-ZAM-IB-2003-09","page":"71–82","project":"Vaucanson","read":"Oui","series":"John von Neumann Institute for Computing (NIC)","title":"On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson","urllocal":"pub/regisgianas.03.poosc.pdf","year":"2003","bibtex":"@inproceedings{regisgianas03poosc,\n\tAbstract = {Vaucanson is a C++ generic library for weighted\n finite state machine manipulation. For the sake of\n generality, FSM are defined using algebraic\n structures such as alphabet (for the letters), free\n monoid (for the words), semiring (for the weights)\n and series (mapping from words to weights). As\n usual, what is at stake is to maintain efficiency\n while providing a high-level layer for the writing\n of generic algorithms. Yet, one of the\n particularities of FSM manipulation is the need of a\n fine grained specialization power on an object which\n is both an algebraic concept and an intensive\n computing machine.},\n\tAddress = {Darmstadt, Germany},\n\tAuthor = {Yann R{\\'e}gis-Gianas and Raphael Poss},\n\tBooktitle = {Proc. Workshop on Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP)},\n\n\n\tEditor = {J{\\\"o}rg Striegnitz and Kei Davis},\n\tKeywords = {Vaucanson, C++, generic programming},\n\tMonth = {July},\n\tNumber = {FZJ-ZAM-IB-2003-09},\n\tPage = {71--82},\n\tProject = {Vaucanson},\n\tRead = {Oui},\n\tSeries = {John von Neumann Institute for Computing (NIC)},\n\tTitle = {On orthogonal specialization in {C++}: dealing with efficiency and algebraic abstraction in {V}aucanson},\n\tUrllocal = {pub/regisgianas.03.poosc.pdf},\n\tYear = {2003},\n\t}\n","author_short":["Régis-Gianas, Y.","Poss, R."],"editor_short":["Striegnitz, J.","Davis, K."],"key":"regisgianas03poosc","id":"regisgianas03poosc","bibbaseid":"rgisgianas-poss-onorthogonalspecializationincdealingwithefficiencyandalgebraicabstractioninvaucanson-2003","role":"author","urls":{"Local":"science.raphael.poss.name/pub/regisgianas.03.poosc.pdf"},"keyword":["Vaucanson","C++","generic programming"],"metadata":{"authorlinks":{"poss, r":"https://bibbase.org/show?bib=https%3A%2F%2Fscience.raphael.poss.name%2Fpub.bib"}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"science.raphael.poss.name/pub.bib","downloads":1,"keywords":["vaucanson","c++","generic programming"],"search_terms":["orthogonal","specialization","dealing","efficiency","algebraic","abstraction","vaucanson","régis-gianas","poss"],"title":"On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson","year":2003,"dataSources":["75cdFjzQkYc9cKbYS","nMjrEFThibKqpZt4n","ob9Lo6tki9nBzzxK9"]}