Christian Hammer, Martin Grimme, Jens Krinke
Dynamic path conditions in dependence graphs
PEPM, 2006.
@inproceedings{PEPM-2006-HammerGK, author = "Christian Hammer and Martin Grimme and Jens Krinke", booktitle = "{Proceedings of the 11th Workshop on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/1111542.1111552", isbn = "1-59593-196-1", pages = "58--67", publisher = "{ACM}", title = "{Dynamic path conditions in dependence graphs}", year = 2006, }