ADPfusion
Version 0.5.0.0 revision 0 uploaded by ChristianHoener.
Package meta
- Synopsis
- Efficient, high-level dynamic programming.
- Description
generalized Algebraic Dynamic Programming
ADPfusion combines stream-fusion (using the stream interface provided by the vector library) and type-level programming to provide highly efficient dynamic programming combinators.
ADPfusion allows writing dynamic programs for single- and multi-tape problems. Inputs can be sequences, or sets. New input types can be defined, without having to rewrite this library thanks to the open-world assumption of ADPfusion.
The library provides the machinery for Outside and Ensemble algorithms as well. Ensemble algorithms combine Inside and Outside calculations.
Starting with version 0.4.1 we support writing multiple context-free grammars (interleaved syntactic variables). Such grammars have applications in bioinformatics and linguistics.
The homepage provides a number of tutorial-style examples, with linear and context-free grammars over sequence and set inputs.
The formal background for generalized algebraic dynamic progrmaming and ADPfusion is described in a number of papers. These can be found on the gADP homepage and in the README.
- Author
- Christian Hoener zu Siederdissen, 2011-2015
- Bug reports
- https://github.com/choener/ADPfusion/issues
- Category
- Algorithms, Data Structures, Bioinformatics, Formal Languages
- Copyright
- Christian Hoener zu Siederdissen, 2011-2015
- Homepage
- https://github.com/choener/ADPfusion
- Maintainer
- choener@bioinf.uni-leipzig.de
- Package URL
- n/a
- Stability
- experimental