Towards Quantum Programs Verification: From Quipper Circuits to QPMC
From MaRDI portal
Publication:3186602
DOI10.1007/978-3-319-40578-0_16zbMath1480.81028MaRDI QIDQ3186602
Carla Piazza, Paolo Zuliani, L. Taglialegne, Linda Anticoli
Publication date: 10 August 2016
Published in: Reversible Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-40578-0_16
81P68: Quantum computation
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
68Q12: Quantum algorithms and complexity in the theory of computing
68Q06: Networks and circuits as models of computation; circuit complexity
Uses Software