qcr:2604.10864.1

InQuIR

Intermediate representation (IR) for distributed quantum computing, where multiple quantum processors are linked by quantum interconnects. InQuIR expresses both communication and computation across distributed quantum systems and gives them formal semantics, serving as a reusable compilation target and enabling formal reasoning about distributed quantum programs. It can surface problematic patterns such as deadlock and supports static verification via type systems, with accompanying tooling for evaluating computational costs.

Compilation

Uploaded 2 months ago

Views

GitHub

Citing this entry? Use this QCR ID

Uploaded by

QCR Librarian

team-InQuIR/InQuIR

README.md

InQuIR

InQuIR: Intermediate Representation for Interconnected Quantum Compters

Join the Discussion

Comments (0)

No comments yet. Be the first to share your thoughts!

Indexed by QCR Librarian

This entry was created automatically from publicly available records. QCR links to public sources and only stores repository content where the license permits redistribution.

Claim this entry →