Formalization of Quantum Intermediate Representations for Code Safety.

Junjie Luo Jianjun Zhao

Published in: CoRR (2023)

Keyphrases

intermediate representations
intermediate representation

structured learning

high level

high order