Polynomial-time inverse computation for accumulative functions with multiple data traversals

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]

Authors

Kazutaka Matsuda

This author has not been identified. It may be one of the following persons: Look up 'Kazutaka Matsuda' in Google

Kazuhiro Inaba

This author has not been identified. Look up 'Kazuhiro Inaba' in Google

Keisuke Nakano

This author has not been identified. Look up 'Keisuke Nakano' in Google