Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano. Polynomial-time inverse computation for accumulative functions with multiple data traversals. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 5-14, ACM, 2012. [doi]
Abstract is missing.