%0 Journal Article %1 journals/pacmpl/AlbertBHIRS24 %A Albert, Elvira %A de la Banda, Maria Garcia %A Hernández-Cerezo, Alejandro %A Ignatiev, Alexey %A Rubio, Albert %A Stuckey, Peter J. %D 2024 %J Proc. ACM Program. Lang. %K dblp %N PLDI %P 1437-1462 %T SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#AlbertBHIRS24 %V 8

@article{journals/pacmpl/AlbertBHIRS24, added-at = {2024-08-02T00:00:00.000+0200}, author = {Albert, Elvira and de la Banda, Maria Garcia and Hernández-Cerezo, Alejandro and Ignatiev, Alexey and Rubio, Albert and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2c1c8b25fe22b86522a648d32a84405d7/dblp}, ee = {https://doi.org/10.1145/3656435}, interhash = {7b39124a35e061a66437aa9632a82d4c}, intrahash = {c1c8b25fe22b86522a648d32a84405d7}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {PLDI}, pages = {1437-1462}, timestamp = {2024-08-05T07:06:41.000+0200}, title = {SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#AlbertBHIRS24}, volume = 8, year = 2024 }