@techreport{oai:ipsj.ixsq.nii.ac.jp:00220422,
 author = {Tiancheng, Jin and Jianjun, Zhao and Tiancheng, Jin and Jianjun, Zhao},
 issue = {18},
 month = {Oct},
 note = {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.},
 title = {Toward a Quantum Behavioral Interface Specification Language},
 year = {2022}
}