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,
No references recorded for this publication.
No citations of this publication recorded.