%0 Journal Article %1 journals/pacmpl/DardinierPM23 %A Dardinier, Thibault %A Parthasarathy, Gaurav %A Müller, Peter %D 2023 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA1 %P 789-818 %T Verification-Preserving Inlining in Automatic Separation Logic Verifiers. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#DardinierPM23 %V 7

@article{journals/pacmpl/DardinierPM23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Dardinier, Thibault and Parthasarathy, Gaurav and Müller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/223bed102af3c1efb2e79714fc8db95e1/dblp}, ee = {https://doi.org/10.1145/3586054}, interhash = {f54b9389af8b4f4909188c819eb48460}, intrahash = {23bed102af3c1efb2e79714fc8db95e1}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {April}, number = {OOPSLA1}, pages = {789-818}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {Verification-Preserving Inlining in Automatic Separation Logic Verifiers.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#DardinierPM23}, volume = 7, year = 2023 }