Engineering the development of quantum programs: Application to the Boolean satisfiability problem
Ver/
Compartir
Estadísticas
Ver Estadísticas de usoMetadatos
Mostrar el registro completo del ítemÁrea de conocimiento
Ingeniería EléctricaPatrocinadores
We acknowledge the use of IBM Quantum services for this work. The views expressed in this paper are those of the authors, and do not reflect the official policy or position of IBM or the IBM Quantum team.Realizado en/con
Universidad Politécnica de CartagenaFecha de publicación
2022-08-11Editorial
ELSEVIERCita bibliográfica
Diego Alonso, Pedro Sánchez, Francisco Sánchez-Rubio, Engineering the development of quantum programs: Application to the Boolean satisfiability problem, Advances in Engineering Software, Volume 173, 2022, 103216, ISSN 0965-9978, https://doi.org/10.1016/j.advengsoft.2022.103216.Revisión por pares
SIPalabras clave
Quantum computingModel-driven engineering
Boolean satisfiability
Resumen
The development of quantum programs is becoming a reality due to the rapid advancement of quantum computing. Over the past few years, a multitude of hardware platforms, algorithms, and programming languages have emerged to support this paradigm. By the very nature of Quantum Mechanics principles, there is an enormous change of philosophy when building quantum programs, which operate in a probabilistic space, unlike the deterministic behaviour shown by classical programming languages. These conceptual differences can be overcome by using techniques and tools of Software Engineering. In this paper, we apply Model-Driven Engineering techniques in a systematic way to ease the generation of quantum programs and we apply it to solve the satisfiability problem, very important in many engineering domains like verification of discrete systems and test of integrated circuits. To that aim, we contribute with a metamodel for representing quantum circuits and a model-to-text transformation to generate ...
Colecciones
- Artículos [1768]
El ítem tiene asociados los siguientes ficheros de licencia:
Redes sociales