Xin Li, Mizuhito Ogawa. Conditional Weighted Pushdown Systems and Applications. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation. ACM,
@inproceedings{Li:PEPM:2010,
title = {Conditional Weighted Pushdown Systems and Applications},
author = {Xin Li and Mizuhito Ogawa},
researchr = {https://researchr.org/publication/Li%3APEPM%3A2010},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the {ACM SIGPLAN} 2010 Workshop on Partial Evaluation and Program Manipulation},
editor = {John P. Gallagher and Janis Voigtländer},
publisher = {ACM},
}