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]

@inproceedings{MatsudaIN12,
  title = {Polynomial-time inverse computation for accumulative functions with multiple data traversals},
  author = {Kazutaka Matsuda and Kazuhiro Inaba and Keisuke Nakano},
  year = {2012},
  doi = {10.1145/2103746.2103752},
  url = {http://doi.acm.org/10.1145/2103746.2103752},
  researchr = {https://researchr.org/publication/MatsudaIN12},
  cites = {0},
  citedby = {0},
  pages = {5-14},
  booktitle = {Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012},
  editor = {Oleg Kiselyov and Simon Thompson},
  publisher = {ACM},
  isbn = {978-1-4503-1118-2},
}