{"id":"arxiv/2607.23137","url":"https://arxiv.org/abs/2607.23137","tags":["cs.LO","cs.PL","math.FA","quant-ph"],"score":0,"title":"Reasoning about Continuous-Variable Quantum Systems","domain":"cs.LO","source":"arxiv","authors":["Tianshi Yu","Gilles Barthe","Minbo Gao","Mingsheng Ying","Li Zhou"],"reviews":0,"subject":"cs.LO","summary":"Continuous-variable quantum computing (CVQC) is a computing paradigm in which measurements yield values over a continuous domain. CVQC is both a convenient computational framework for modeling physical quantum systems, and a good abstraction for hardware platforms based on quantum optics. Yet, the semantic foundations of CVQC remain underdeveloped. To address this gap, we develop a formal semantics for a core CV quantum programming language, and sound verification methods for program correctness. A main contribution of this work is to isolate a well-behaved quantitative predicate domain that…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-25","reactions":{}}