Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
Polynomial-time inverse computation for accumulative functions with multiple data traversals
PEPM, 2012.
@inproceedings{PEPM-2012-MatsudaIN, author = "Kazutaka Matsuda and Kazuhiro Inaba and Keisuke Nakano", booktitle = "{Proceedings of the 17th Workshop on Partial Evaluation and Program Manipulation}", doi = "10.1145/2103746.2103752", isbn = "978-1-4503-1118-2", pages = "5--14", publisher = "{ACM}", title = "{Polynomial-time inverse computation for accumulative functions with multiple data traversals}", year = 2012, }