Polynomial-time inverse computation for accumulative functions with multiple data traversals
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM ’12
Keisuke Nakano
Kazuhiro Inaba
Programming Macro Tree Transducers