More precise construction of static single assignment programs using reaching definitions

Autor: Masud, Abu Naser, Ciccozzi, Federico

Publikováno v: In The Journal of Systems & Software August 2020 166

QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization

Autor: David Ittah, Thomas Häner, Vadym Kliuchnikov, Torsten Hoefler

Publikováno v: ACM Transactions on Quantum Computing. 3:1-32

We propose an IR for quantum computing that directly exposes quantum and classical data dependencies for the purpose of optimization. The Quantum Intermediate Representation for Optimization (QIRO) consists of two dialects, one input dialect and one

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8f246d431e702ee6177581022c1f35fe
https://doi.org/10.1145/3491247

Inferring types and effects via static single assignment

Autor: Paulo Torrens, Leonardo Filipe Rigon, Cristiano Vasconcellos

Publikováno v: SAC

The static single assignment form which is used by compilers of imperative programming languages is, as noted by Kelsey, a functional language. Local mutability is removed by renaming variables, and control flow is split into basic blocks, which are,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6de895c047ede5fc6311a230bab61bd3
https://doi.org/10.1145/3341105.3373888

Mechanised Semantics for Gated Static Single Assignment

Autor: Yann Herklotz, Delphine Demange, Sandrine Blazy

Publikováno v: CPP 2023-12th ACM SIGPLAN International Conference on Certified Programs and Proofs
CPP 2023-12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575681⟩

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::253ee7a360bff6d947b2a1d7a9dd464e
https://doi.org/10.1145/3573105.3575681

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.