{"id":"arxiv/2608.02648","url":"https://arxiv.org/abs/2608.02648","tags":["cs.SE","cs.PL","quant-ph"],"score":0,"title":"Intent-Level Quantum Programming with Assertion-Guided Execution and Inspectable Intermediate Representation","domain":"cs.SE","source":"arxiv","authors":["Ilesh Vora","Srikanth Thudumu","John Carlson","Harshil Kamdar","Rajesh Vasa"],"reviews":0,"subject":"cs.SE","summary":"Quantum programs are difficult to validate: circuits are typically expressed as imperative gate sequences with limited inspectability, execution modalities must be selected manually, and outputs are inherently probabilistic. These challenges are compounded when programs must be portable across backend frameworks with differing internal conventions. We present a quantum domain-specific language (QDSL) that addresses these problems through three mechanisms: (i) intent-execution separation, where algorithmic constructs such as preparation, superposition, entanglement, and measurement are…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}