ADPfusion
Version 0.4.0.2 revision 0 uploaded by ChristianHoener.
Package meta
- Synopsis
- Efficient, high-level dynamic programming.
- Description
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. And 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.
The homepage provides a number of tutorial-style examples, with linear and context-free grammars over sequence and set inputs.
Ideas implemented here are described in a couple of papers:
Christian Hoener zu Siederdissen Sneaking Around ConcatMap: Efficient Combinators for Dynamic Programming 2012. Proceedings of the 17th ACM SIGPLAN international conference on Functional programming http://doi.acm.org/10.1145/2364527.2364559 preprint: http://www.tbi.univie.ac.at/newpapers/pdfs/TBI-p-2012-2.pdf
Andrew Farmer, Christian Höner zu Siederdissen, and Andy Gill. The HERMIT in the stream: fusing stream fusion’s concatMap. 2014. Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation. http://dl.acm.org/citation.cfm?doid=2543728.2543736
Christian Höner zu Siederdissen, Ivo L. Hofacker, and Peter F. Stadler. Product Grammars for Alignment and Folding. 2014. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 99. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6819790
Christian Höner zu Siederdissen, Sonja J. Prohaska, and Peter F. Stadler. Algebraic Dynamic Programming over General Data Structures. 2015. submitted.
- Author
- Christian Hoener zu Siederdissen, 2011-2015
- Bug reports
- n/a
- Category
- Algorithms, Data Structures, Bioinformatics, Formal Languages
- Copyright
- Christian Hoener zu Siederdissen, 2011-2015
- Homepage
- http://www.bioinf.uni-leipzig.de/Software/gADP/
- Maintainer
- choener@bioinf.uni-leipzig.de
- Package URL
- n/a
- Stability
- experimental