Abstract
Nowadays, several languages and libraries have been proposed to program and reason about quantum programs in the imperative and functional paradigms. Having in mind that the object-oriented paradigm is one of the most used for developing general purpose software systems, in this work we propose to investigate quantum programming using the object-oriented paradigm. Hence, we present a monadic semantics for FJQuantum 1 , an object-oriented language based on Featherweight Java, created to reason and to develop programs handling quantum data and quantum operations. We also provide an interpreter for this semantics and a set of examples of quantum programs to run with it. • A Monadic Semantics for Quantum Computing inside an Object Oriented Language is proposed. • The use of Featherweight Java allows the formalization and implementation of several extensions. • An interpreter for the proposed language is provided to test several examples of quantum programs.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
