2026-05-14T14:25:58Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00220422 2025-01-19T14:34:45Z 1164:10193:10905:11012

Toward a Quantum Behavioral Interface Specification Language Toward a Quantum Behavioral Interface Specification Language Tiancheng, Jin Jianjun, Zhao Tiancheng, Jin Jianjun, Zhao ScaffML is a behavioral interface specification language tailored to Scaffold, a quantum programming language. It can specify pre- and post-conditions for Scaffold modules and allows assertions to be intermixed with Scaffold code, which helps in debugging and verification. This paper discusses the goals and overall approach of ScaffML and describes the basic features of the language with examples. ScaffML provides an easy-to-use specification language for quantum programmers, which can support static analysis, run-time checking, and formal verification of Scaffold programs. ScaffML is a behavioral interface specification language tailored to Scaffold, a quantum programming language. It can specify pre- and post-conditions for Scaffold modules and allows assertions to be intermixed with Scaffold code, which helps in debugging and verification. This paper discusses the goals and overall approach of ScaffML and describes the basic features of the language with examples. ScaffML provides an easy-to-use specification language for quantum programmers, which can support static analysis, run-time checking, and formal verification of Scaffold programs. 情報処理学会 2022-10-20 eng technical report https://ipsj.ixsq.nii.ac.jp/records/220422 2435-6492 AA12894105 研究報告量子ソフトウェア（QS） 2022-QS-7 18 1 9 https://ipsj.ixsq.nii.ac.jp/record/220422/files/IPSJ-QS22007018.pdf application/pdf 1.0 MB 2024-10-20