%0 Conference Paper %1 conf/pldi/SpiesGGTKDB21 %A Spies, Simon %A Gäher, Lennard %A Gratzer, Daniel %A Tassarotti, Joseph %A Krebbers, Robbert %A Dreyer, Derek %A Birkedal, Lars %B PLDI %D 2021 %E Freund, Stephen N. %E Yahav, Eran %I ACM %K dblp %P 80-95 %T Transfinite Iris: resolving an existential dilemma of step-indexed separation logic. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#SpiesGGTKDB21 %@ 978-1-4503-8391-2

@inproceedings{conf/pldi/SpiesGGTKDB21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Spies, Simon and Gäher, Lennard and Gratzer, Daniel and Tassarotti, Joseph and Krebbers, Robbert and Dreyer, Derek and Birkedal, Lars}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29144c96973f2f1758371db7c2d154d6c/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2021}, editor = {Freund, Stephen N. and Yahav, Eran}, ee = {https://doi.org/10.1145/3453483.3454031}, interhash = {e881fd2b9e7ca1fa5b01402d7bfb10fc}, intrahash = {9144c96973f2f1758371db7c2d154d6c}, isbn = {978-1-4503-8391-2}, keywords = {dblp}, pages = {80-95}, publisher = {ACM}, timestamp = {2022-03-01T07:15:03.000+0100}, title = {Transfinite Iris: resolving an existential dilemma of step-indexed separation logic.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2021.html#SpiesGGTKDB21}, year = 2021 }