%0 Journal Article %1 journals/toplas/BartheGKR09 %A Barthe, Gilles %A Grégoire, Benjamin %A Kunz, César %A Rezk, Tamara %D 2009 %J ACM Trans. Program. Lang. Syst. %K dblp %N 5 %P 18:1-18:45 %T Certificate translation for optimizing compilers. %U http://dblp.uni-trier.de/db/journals/toplas/toplas31.html#BartheGKR09 %V 31

@article{journals/toplas/BartheGKR09, added-at = {2023-10-22T00:00:00.000+0200}, author = {Barthe, Gilles and Grégoire, Benjamin and Kunz, César and Rezk, Tamara}, biburl = {https://www.bibsonomy.org/bibtex/25b3a6c24ac27a1c857bc0f708b740e30/dblp}, ee = {https://www.wikidata.org/entity/Q122979919}, interhash = {580789868ad1ffe4d045103be59f4ca3}, intrahash = {5b3a6c24ac27a1c857bc0f708b740e30}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 5, pages = {18:1-18:45}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {Certificate translation for optimizing compilers.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas31.html#BartheGKR09}, volume = 31, year = 2009 }