compdata-automata: Tree automata on Compositional Data Types
This library extends the compdata
package with advanced recursion
schemes derived from tree automata. These recursion schemes allow
for a higher degree of modularity and make it possible to apply
fusion. See Modular Tree Automata (Mathematics of Program
Construction, 263-299, 2012,
http://dx.doi.org/10.1007/978-3-642-31113-0_14) and
Programming Macro Tree Transducers (Workshop on Generic Programming, 61-72,
2013, http://dx.doi.org/10.1145/2502488.2502489).
Downloads
- compdata-automata-0.9.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.9, 0.9.1, 0.9.2 |
---|---|
Dependencies | base (>=4.7 && <5), compdata (>=0.9), containers, projection [details] |
License | BSD-3-Clause |
Author | Patrick Bahr |
Maintainer | paba@itu.dk |
Category | Generics |
Bug tracker | https://github.com/pa-ba/compdata-automata/issues |
Source repo | head: git clone https://github.com/pa-ba/compdata-automata |
Uploaded | by PatrickBahr at 2018-09-25T15:06:37Z |
Distributions | NixOS:0.9.2 |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 2713 total (1 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2018-09-25 [all 1 reports] |