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.
Revue:
Proceedings of the ACM on Programming Languages
ISSN: 2475-1421
Année de publication: 2024
Volumen: 8
Type: Article
