Abstract: An efficient and intuitive format of quantum programs is an indispensable component to handle large-scale quantum computers. Representing and manipulating a sequence of quantum instructions ...