SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques

  1. Albert, E.
  2. Garcia De La Banda, M.
  3. Hernández-Cerezo, A.
  4. Ignatiev, A.
  5. Rubio, A.
  6. Stuckey, P.J.
Revista:
Proceedings of the ACM on Programming Languages

ISSN: 2475-1421

Año de publicación: 2024

Volumen: 8

Tipo: Artículo

DOI: 10.1145/3656435 GOOGLE SCHOLAR lock_openAcceso abierto editor