\(Q|SI\rangle \): a quantum programming environment

DOI10.1007/978-3-030-01461-2_8zbMath1518.68058arXiv1710.09500OpenAlexW4233726431MaRDI QIDQ6165773

Shusen Liu, Xin Wang, Ji Guan, Runyao Duan, Unnamed Author, Yang He, Yinan Li, Ming Sheng Ying

Publication date: 2 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.09500

zbMATH Keywords

quantum simulationquantum programmingquantum compilationquantum program analysisquantum program verification

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

\textsf{symQV}: automated symbolic verification of quantum programs

This page was built for publication: \(Q|SI\rangle \): a quantum programming environment