%0 Journal Article %1 journals/pacmpl/GourdinBBMB23 %A Gourdin, Léo %A Bonneau, Benjamin %A Boulmé, Sylvain %A Monniaux, David %A Bérard, Alexandre %D 2023 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 59-88 %T Formally Verifying Optimizations with Block Simulations. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#GourdinBBMB23 %V 7

@article{journals/pacmpl/GourdinBBMB23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Gourdin, Léo and Bonneau, Benjamin and Boulmé, Sylvain and Monniaux, David and Bérard, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/280c5213208febc590d98a7df9f00dd07/dblp}, ee = {https://doi.org/10.1145/3622799}, interhash = {6ccb592a08e7aec32a00b28515f64edc}, intrahash = {80c5213208febc590d98a7df9f00dd07}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {October}, number = {OOPSLA2}, pages = {59-88}, timestamp = {2024-04-08T09:54:06.000+0200}, title = {Formally Verifying Optimizations with Block Simulations.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#GourdinBBMB23}, volume = 7, year = 2023 }