%0 Conference Paper %1 conf/esop/ChatterjeeGIP20 %A Chatterjee, Krishnendu %A Goharshady, Amir Kafshdar %A Ibsen-Jensen, Rasmus %A Pavlogiannis, Andreas %B ESOP %D 2020 %E Müller, Peter %I Springer %K dblp %P 112-140 %T Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. %U http://dblp.uni-trier.de/db/conf/esop/esop2020.html#ChatterjeeGIP20 %V 12075 %@ 978-3-030-44914-8

@inproceedings{conf/esop/ChatterjeeGIP20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Goharshady, Amir Kafshdar and Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2f190f9b8e6f0c5ad49b5b6f51e6381a0/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2020}, editor = {Müller, Peter}, ee = {https://doi.org/10.1007/978-3-030-44914-8_5}, interhash = {07bb00e399ef38d730320fb12a8070cc}, intrahash = {f190f9b8e6f0c5ad49b5b6f51e6381a0}, isbn = {978-3-030-44914-8}, keywords = {dblp}, pages = {112-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2020.html#ChatterjeeGIP20}, volume = 12075, year = 2020 }