@inproceedings{8cf029ac3161448c9b3f55cbcd540049,
title = "Modeling Quantum programs: Challenges, initial results, and research directions",
abstract = "Quantum programming languages provide necessary constructs to program quantum computers. To write such programs, one needs to understand the characteristics of quantum computers such as superposition and entanglement, which are novel as compared to programming with classical computers. Understanding these characteristics requires an understanding of quantum physics. Thus, there is a need to build high-level modeling abstractions of quantum programs for software engineers who are used to program on classical computers to understand and model quantum programs at a high-level of abstraction and independent of quantum platforms. To this end, we present some ideas for developing such quantum software modeling languages, by presenting a conceptual model of quantum programs and an example of modeling the state-based behavior of quantum entanglement program. Moreover, we present some open issues in the area of modeling quantum programs.",
keywords = "Quantum Programming Languages, Quantum Programs, Quantum States, Software Modeling",
author = "Shaukat Ali and Tao Yue",
note = "Publisher Copyright: {\textcopyright} 2020 ACM.; 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, APEQS 2020, co-located with ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2020 ; Conference date: 13-11-2020",
year = "2020",
month = nov,
day = "13",
doi = "10.1145/3412451.3428499",
language = "英语",
series = "APEQS 2020 - Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, Co-located with ESEC/FSE 2020",
publisher = "Association for Computing Machinery, Inc",
pages = "14--21",
editor = "Wolfgang Mauerer and Sebastian Feld and Sebastian Feld and Claudia Linnhoff-Popien",
booktitle = "APEQS 2020 - Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, Co-located with ESEC/FSE 2020",
}