Xin Li, Mizuhito Ogawa. Conditional weighted pushdown systems and applications. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 141-150, ACM, 2010. [doi]
@inproceedings{LiO10,
title = {Conditional weighted pushdown systems and applications},
author = {Xin Li and Mizuhito Ogawa},
year = {2010},
doi = {10.1145/1706356.1706382},
url = {http://doi.acm.org/10.1145/1706356.1706382},
researchr = {https://researchr.org/publication/LiO10},
cites = {0},
citedby = {0},
pages = {141-150},
booktitle = {Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010},
editor = {John P. Gallagher and Janis Voigtländer},
publisher = {ACM},
isbn = {978-1-60558-727-1},
}