%0 Journal Article %1 journals/pacmpl/CronburgG21 %A Cronburg, Karl %A Guyer, Samuel Z. %D 2021 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 1-28 %T Permchecker: a toolchain for debugging memory managers with typestate. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#CronburgG21 %V 5

@article{journals/pacmpl/CronburgG21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Cronburg, Karl and Guyer, Samuel Z.}, biburl = {https://www.bibsonomy.org/bibtex/225ad426d1f4713aa35a510caa6dcfb13/dblp}, ee = {https://doi.org/10.1145/3485526}, interhash = {01c26bbc36335c6ee4b49a56128e9cf0}, intrahash = {25ad426d1f4713aa35a510caa6dcfb13}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {1-28}, timestamp = {2024-04-08T09:54:20.000+0200}, title = {Permchecker: a toolchain for debugging memory managers with typestate.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#CronburgG21}, volume = 5, year = 2021 }