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.
Journal:
Proceedings of the ACM on Programming Languages

ISSN: 2475-1421

Year of publication: 2024

Volume: 8

Type: Article

DOI: 10.1145/3656435 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus