%0 Journal Article %1 journals/corr/abs-2106-12434 %A Racordon, Dimitri %A Coet, Aurélien %A Buchs, Didier %D 2021 %J CoRR %K dblp %T Fuel: A Compiler Framework for Safe Memory Management. %U http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-12434 %V abs/2106.12434

@article{journals/corr/abs-2106-12434, added-at = {2021-06-30T00:00:00.000+0200}, author = {Racordon, Dimitri and Coet, Aurélien and Buchs, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2ae2d226de1eaa2475a39f6c0ad695780/dblp}, ee = {https://arxiv.org/abs/2106.12434}, interhash = {8384f76434c91fbf3610337462efb60b}, intrahash = {ae2d226de1eaa2475a39f6c0ad695780}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:59:12.000+0200}, title = {Fuel: A Compiler Framework for Safe Memory Management.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-12434}, volume = {abs/2106.12434}, year = 2021 }