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

Any de publicació: 2024

Volum: 8

Tipus: Article

DOI: 10.1145/3656435 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus