%0 Journal Article %1 journals/pacmpl/FeldmanKE0NRS20 %A Feldman, Yotam M. Y. %A Khyzha, Artem %A Enea, Constantin %A Morrison, Adam %A Nanevski, Aleksandar %A Rinetzky, Noam %A Shoham, Sharon %D 2020 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 128:1-128:29 %T Proving highly-concurrent traversals correct. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#FeldmanKE0NRS20 %V 4

@article{journals/pacmpl/FeldmanKE0NRS20, added-at = {2022-01-08T00:00:00.000+0100}, author = {Feldman, Yotam M. Y. and Khyzha, Artem and Enea, Constantin and Morrison, Adam and Nanevski, Aleksandar and Rinetzky, Noam and Shoham, Sharon}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21482e329a5c67e937bdb23fa6d11919d/dblp}, ee = {https://doi.org/10.1145/3428196}, interhash = {28b3252edbe5cee9a4b0a848e326ebbc}, intrahash = {1482e329a5c67e937bdb23fa6d11919d}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {128:1-128:29}, timestamp = {2022-03-01T06:21:01.000+0100}, title = {Proving highly-concurrent traversals correct.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#FeldmanKE0NRS20}, volume = 4, year = 2020 }