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

@inproceedings{Matsuda2012PolynomialtimeIC,
  title={Polynomial-time inverse computation for accumulative functions with multiple data traversals},
  author={Kazutaka Matsuda and Kazuhiro Inaba and Keisuke Nakano},
  booktitle={Higher-Order and Symbolic Computation},
  year={2012}
}
Inverse computation has many applications such as serialization/deserialization, providing support for undo, and test-case generation for software testing. In this paper, we propose an inverse computation method that always terminates for a class of functions known as parameter-linear macro tree transducers, which involve multiple data traversals and the… CONTINUE READING