%0 Conference Paper %1 conf/sas/LuHX21 %A Lu, Jingbo %A He, Dongjie %A Xue, Jingling %B SAS %D 2021 %E Dragoi, Cezara %E Mukherjee, Suvam %E Namjoshi, Kedar S. %I Springer %K dblp %P 261-285 %T Selective Context-Sensitivity for k-CFA with CFL-Reachability. %U http://dblp.uni-trier.de/db/conf/sas/sas2021.html#LuHX21 %V 12913 %@ 978-3-030-88806-0

@inproceedings{conf/sas/LuHX21, added-at = {2021-10-18T00:00:00.000+0200}, author = {Lu, Jingbo and He, Dongjie and Xue, Jingling}, biburl = {https://www.bibsonomy.org/bibtex/251c7e673b393af90c199b44061dc3160/dblp}, booktitle = {SAS}, crossref = {conf/sas/2021}, editor = {Dragoi, Cezara and Mukherjee, Suvam and Namjoshi, Kedar S.}, ee = {https://doi.org/10.1007/978-3-030-88806-0_13}, interhash = {31abcf57dab3fac848a1930baf278a70}, intrahash = {51c7e673b393af90c199b44061dc3160}, isbn = {978-3-030-88806-0}, keywords = {dblp}, pages = {261-285}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:34:37.000+0200}, title = {Selective Context-Sensitivity for k-CFA with CFL-Reachability.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2021.html#LuHX21}, volume = 12913, year = 2021 }