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]
Abstract is missing.