%0 Conference Paper %1 conf/pldi/KincaidBBR17 %A Kincaid, Zachary %A Breck, Jason %A Boroujeni, Ashkan Forouhi %A Reps, Thomas W. %B PLDI %D 2017 %E Cohen, Albert %E Vechev, Martin T. %I ACM %K dblp %P 248-262 %T Compositional recurrence analysis revisited. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#KincaidBBR17 %@ 978-1-4503-4988-8

@inproceedings{conf/pldi/KincaidBBR17, added-at = {2023-03-21T00:00:00.000+0100}, author = {Kincaid, Zachary and Breck, Jason and Boroujeni, Ashkan Forouhi and Reps, Thomas W.}, biburl = {https://www.bibsonomy.org/bibtex/2f2d7ea23bb0305e7bd40a11c673cccaf/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2017}, editor = {Cohen, Albert and Vechev, Martin T.}, ee = {https://doi.org/10.1145/3140587.3062373}, interhash = {d15efdd8be2af2537079e88ce1303659}, intrahash = {f2d7ea23bb0305e7bd40a11c673cccaf}, isbn = {978-1-4503-4988-8}, keywords = {dblp}, pages = {248-262}, publisher = {ACM}, timestamp = {2024-04-09T18:59:22.000+0200}, title = {Compositional recurrence analysis revisited.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2017.html#KincaidBBR17}, year = 2017 }