Christian Hammer, Martin Grimme, Jens Krinke. Dynamic path conditions in dependence graphs. In John Hatcliff, Frank Tip, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. pages 58-67, ACM, 2006. [doi]
Abstract is missing.