SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
- Albert, E.
- Garcia De La Banda, M.
- Hernández-Cerezo, A.
- Ignatiev, A.
- Rubio, A.
- Stuckey, P.J.
Zeitschrift:
Proceedings of the ACM on Programming Languages
ISSN: 2475-1421
Datum der Publikation: 2024
Ausgabe: 8
Art: Artikel
