%0 Journal Article %1 journals/pacmpl/BaoGHT22 %A Bao, Jialu %A Gaboardi, Marco %A Hsu, Justin %A Tassarotti, Joseph %D 2022 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1-29 %T A separation logic for negative dependence. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#BaoGHT22 %V 6

@article{journals/pacmpl/BaoGHT22, added-at = {2024-02-05T00:00:00.000+0100}, author = {Bao, Jialu and Gaboardi, Marco and Hsu, Justin and Tassarotti, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/2c242d32b5bbafb01796a713ede7bb655/dblp}, ee = {https://doi.org/10.1145/3498719}, interhash = {f66362049134887013175dac188092c4}, intrahash = {c242d32b5bbafb01796a713ede7bb655}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {1-29}, timestamp = {2024-04-08T09:54:16.000+0200}, title = {A separation logic for negative dependence.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#BaoGHT22}, volume = 6, year = 2022 }