Quantum programming (English Wikipedia)

Da Rosa, Evandro Chagas Ribeiro; De Santiago, Rafael (January 31, 2022). "Ket Quantum Programming". ACM Journal on Emerging Technologies in Computing Systems. 18 (1): 1–25. doi:10.1145/3474224. ISSN 1550-4832.

aqt.eu

"Home". AQT | ALPINE QUANTUM TECHNOLOGIES.

arxiv.org

Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan (March 11, 2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
Bertels, K.; Almudever, C. G.; Hogaboam, J. W.; Ashraf, I.; Guerreschi, G. G.; Khammassi, N. (May 24, 2018). "cQASM v1.0: Towards a Common Quantum Assembly Language". arXiv:1805.09607v1 [quant-ph].
Smith, Robert S.; Curtis, Michael J.; Zeng, William J. (2016). "A Practical Quantum Instruction Set Architecture". arXiv:1608.03355 [quant-ph].
McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (February 4, 2016). "The theory of variational hybrid quantum-classical algorithms". New Journal of Physics. 18 (2): 023023. arXiv:1509.04279. Bibcode:2016NJPh...18b3023M. doi:10.1088/1367-2630/18/2/023023. ISSN 1367-2630. S2CID 92988541.
Rubin, Nicholas C.; Curtis, Michael J.; Zeng, William J. (2016). "A Hybrid Classical/Quantum Approach for Large-Scale Studies of Quantum Systems with Density Matrix Embedding Theory". arXiv:1610.06910 [quant-ph].
Farhi, Edward; Goldstone, Jeffrey; Gutmann, Sam (2014). "A Quantum Approximate Optimization Algorithm". arXiv:1411.4028 [quant-ph].
Häner, Thomas; Steiger, Damian S.; Svore, Krysta; Troyer, Matthias (2018). "A software methodology for compiling quantum programs". Quantum Science and Technology. 3 (2): 020501. arXiv:1604.01401. Bibcode:2018QS&T....3b0501H. doi:10.1088/2058-9565/aaa5cc. ISSN 2058-9565. S2CID 1922315.
Xu, Xusheng; et al. (2024). "MindSpore Quantum: A User-Friendly, High-Performance, and AI-Compatible Quantum Computing Framework". arXiv:2406.17248 [quant-ph].
Heurtel, Nicolas; Fyrillas, Andreas; de Gliniasty, Grégoire; Le Bihan, Raphaël; Malherbe, Sébastien; Pailhas, Marceau; Bertasi, Eric; Bourdoncle, Boris; Emeriau, Pierre-Emmanuel; Mezher, Rawad; Music, Luka; Belabas, Nadia; Valiron, Benoît; Senellart, Pascale; Mansfield, Shane; Senellart, Jean (February 21, 2023). "Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing". Quantum. 7: 931. arXiv:2204.00602. Bibcode:2023Quant...7..931H. doi:10.22331/q-2023-02-21-931. S2CID 247922568.
Efthymiou, Stavros; Ramos-Calderer, Sergi; Bravo-Prieto, Carlos; Pérez-Salinas, Adrián; García-Martín, Diego; Garcia-Saez, Artur; Latorre, José Ignacio; Carrazza, Stefano (January 1, 2022). "Qibo: a framework for quantum simulation with hardware acceleration". Quantum Science and Technology. 7 (1): 015018. arXiv:2009.01845. Bibcode:2022QS&T....7a5018E. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963. ISSN 2058-9565. S2CID 221507478.
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (September 22, 2022). "Quantum simulation with just-in-time compilation". Quantum. 6: 814. arXiv:2203.08826. Bibcode:2022Quant...6..814E. doi:10.22331/q-2022-09-22-814. S2CID 247518955.
McKay, David C.; Alexander, Thomas; Bello, Luciano; Biercuk, Michael J.; Bishop, Lev; Chen, Jiayin; Chow, Jerry M.; Córcoles, Antonio D.; Egger, Daniel; Filipp, Stefan; Gomez, Juan; Hush, Michael; Javadi-Abhari, Ali; Moreda, Diego; Nation, Paul; Paulovicks, Brent; Winston, Erick; Wood, Christopher J.; Wootton, James; Gambetta, Jay M. (2018). "Qiskit Backend Specifications for OpenQASM and OpenPulse Experiments". arXiv:1809.03452 [quant-ph].
Killoran, Nathan; Izaac, Josh; Quesada, Nicolás; Bergholm, Ville; Amy, Matthew; Weedbrook, Christian (2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (May 1, 2012). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535.
Liu, Shusen; Zhou, li; Guan, Ji; He, Yang; Duan, Runyao; Ying, Mingsheng (May 9, 2017). "Q|SI>: A Quantum Programming Language". Scientia Sinica Informationis. 47 (10): 1300. arXiv:1710.09500. doi:10.1360/N112017-00095. S2CID 9163705.
A. Baltag and S. Smets, "LQP: The Dynamic Logic of Quantum Information", Mathematical Structures in Computer Science 16(3):491-525, 2006.
Ying, Mingsheng; Yu, Nengkun; Feng, Yuan; Duan, Runyao (2013). "Verification of quantum programs". Science of Computer Programming. 78 (9): 1679–1700. arXiv:1106.4063. doi:10.1016/j.scico.2013.03.016. S2CID 18913620.
Liu, Tao; Li, Yangjia; Wang, Shuling; Ying, Mingsheng; Zhan, Naijun (2016). "A Theorem Prover for Quantum Hoare Logic and its Applications". arXiv:1601.03835 [cs.LO].
Andre van Tonder, "A Lambda Calculus for Quantum Computation", SIAM J. Comput., 33(5), 1109–1135. (27 pages), 2004. Also available from arXiv:quant-ph/0307150
Pablo Arrighi, Gilles Dowek, "Linear-algebraic lambda-calculus: higher-order, encodings and confluence", 2006
Philip Maymin, "Extending the Lambda Calculus to Express Randomized and Quantumized Algorithms", 1996
Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (2013). "An Introduction to Quantum Programming in Quipper". Reversible Computation. Lecture Notes in Computer Science. Vol. 7948. pp. 110–124. arXiv:1304.5485. doi:10.1007/978-3-642-38986-3_10. ISBN 978-3-642-38985-6. S2CID 9135905.

brown.edu

het.brown.edu

André van Tonder. "A lambda calculus for quantum computation (website)". Archived from the original on March 5, 2016. Retrieved October 2, 2007.

computer.org

Ying, Mingsheng; Feng, Yuan (2010). "A Flowchart Language for Quantum Programming". IEEE Transactions on Software Engineering. 37 (4): 466–485. doi:10.1109/TSE.2010.94. ISSN 0098-5589. S2CID 5879273.

dal.ca

mathstat.dal.ca

Peter Selinger, "Towards a quantum programming language", Mathematical Structures in Computer Science 14(4):527-586, 2004.
Peter Selinger and Benoît Valiron, "A lambda calculus for quantum computation with classical control", Mathematical Structures in Computer Science 16(3):527-552, 2006.
"The Quipper Language".
Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron. "The Quipper Language (website)".

mscs.dal.ca

Peter Selinger, Benoˆıt Valiron, "Quantum Lambda Calculus"

doi.org

Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan (March 11, 2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (February 4, 2016). "The theory of variational hybrid quantum-classical algorithms". New Journal of Physics. 18 (2): 023023. arXiv:1509.04279. Bibcode:2016NJPh...18b3023M. doi:10.1088/1367-2630/18/2/023023. ISSN 1367-2630. S2CID 92988541.
Häner, Thomas; Steiger, Damian S.; Svore, Krysta; Troyer, Matthias (2018). "A software methodology for compiling quantum programs". Quantum Science and Technology. 3 (2): 020501. arXiv:1604.01401. Bibcode:2018QS&T....3b0501H. doi:10.1088/2058-9565/aaa5cc. ISSN 2058-9565. S2CID 1922315.
Heurtel, Nicolas; Fyrillas, Andreas; de Gliniasty, Grégoire; Le Bihan, Raphaël; Malherbe, Sébastien; Pailhas, Marceau; Bertasi, Eric; Bourdoncle, Boris; Emeriau, Pierre-Emmanuel; Mezher, Rawad; Music, Luka; Belabas, Nadia; Valiron, Benoît; Senellart, Pascale; Mansfield, Shane; Senellart, Jean (February 21, 2023). "Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing". Quantum. 7: 931. arXiv:2204.00602. Bibcode:2023Quant...7..931H. doi:10.22331/q-2023-02-21-931. S2CID 247922568.
Efthymiou, Stavros; Ramos-Calderer, Sergi; Bravo-Prieto, Carlos; Pérez-Salinas, Adrián; García-Martín, Diego; Garcia-Saez, Artur; Latorre, José Ignacio; Carrazza, Stefano (January 1, 2022). "Qibo: a framework for quantum simulation with hardware acceleration". Quantum Science and Technology. 7 (1): 015018. arXiv:2009.01845. Bibcode:2022QS&T....7a5018E. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963. ISSN 2058-9565. S2CID 221507478.
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (September 22, 2022). "Quantum simulation with just-in-time compilation". Quantum. 6: 814. arXiv:2203.08826. Bibcode:2022Quant...6..814E. doi:10.22331/q-2022-09-22-814. S2CID 247518955.
Killoran, Nathan; Izaac, Josh; Quesada, Nicolás; Bergholm, Ville; Amy, Matthew; Weedbrook, Christian (2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (May 1, 2012). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535.
Liu, Shusen; Zhou, li; Guan, Ji; He, Yang; Duan, Runyao; Ying, Mingsheng (May 9, 2017). "Q|SI>: A Quantum Programming Language". Scientia Sinica Informationis. 47 (10): 1300. arXiv:1710.09500. doi:10.1360/N112017-00095. S2CID 9163705.
Da Rosa, Evandro Chagas Ribeiro; De Santiago, Rafael (January 31, 2022). "Ket Quantum Programming". ACM Journal on Emerging Technologies in Computing Systems. 18 (1): 1–25. doi:10.1145/3474224. ISSN 1550-4832.
Baltag, Alexandru; Bergfeld, Jort; Kishida, Kohei; Sack, Joshua; Smets, Sonja; Zhong, Shengyang (2014). "PLQP & Company: Decidable Logics for Quantum Algorithms". International Journal of Theoretical Physics. 53 (10): 3628–3647. Bibcode:2014IJTP...53.3628B. doi:10.1007/s10773-013-1987-3. S2CID 254573992.
Ying, Mingsheng (January 2012). "Floyd–hoare Logic for Quantum Programs". ACM Trans. Program. Lang. Syst. 33 (6): 19:1–19:49. doi:10.1145/2049706.2049708. ISSN 0164-0925. S2CID 416960.
Ying, Mingsheng; Feng, Yuan (2010). "A Flowchart Language for Quantum Programming". IEEE Transactions on Software Engineering. 37 (4): 466–485. doi:10.1109/TSE.2010.94. ISSN 0098-5589. S2CID 5879273.
Ying, Mingsheng; Yu, Nengkun; Feng, Yuan; Duan, Runyao (2013). "Verification of quantum programs". Science of Computer Programming. 78 (9): 1679–1700. arXiv:1106.4063. doi:10.1016/j.scico.2013.03.016. S2CID 18913620.
Ying, Mingsheng; Ying, Shenggang; Wu, Xiaodi (2017), "Invariants of quantum programs: Characterisations and generation", ACM SIGPLAN Notices, 52: 818–832, doi:10.1145/3093333.3009840, hdl:10453/127333
Litteken, Andrew (May 28, 2020). "An updated LLVM-based quantum research compiler with further OpenQASM support". Quantum Science and Technology. 5 (3): 034013. Bibcode:2020QS&T....5c4013L. doi:10.1088/2058-9565/ab8c2c. OSTI 1803951. S2CID 219101628.
Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (June 11, 2020). "Silq: A high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. London UK: ACM. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 978-1-4503-7613-6. S2CID 219397029.
Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (2013). "An Introduction to Quantum Programming in Quipper". Reversible Computation. Lecture Notes in Computer Science. Vol. 7948. pp. 110–124. arXiv:1304.5485. doi:10.1007/978-3-642-38986-3_10. ISBN 978-3-642-38985-6. S2CID 9135905.

dx.doi.org

Andre van Tonder, "A Lambda Calculus for Quantum Computation", SIAM J. Comput., 33(5), 1109–1135. (27 pages), 2004. Also available from arXiv:quant-ph/0307150

eclipse.org

"Eclipse Foundation (website)".

ethz.ch

silq.ethz.ch

"What is Silq?". silq.ethz.ch. Retrieved June 21, 2020.

fraunhofer.de

fokus.fraunhofer.de

"Fraunhofer FOKUS (website)".

github.com

"Comprehensive list of quantum open-source projects". Github. Retrieved January 27, 2022.
qiskit-openqasm: OpenQASM specification, International Business Machines, July 4, 2017, retrieved July 6, 2017
"mindquantum". github.com.
"Qibolab". November 2, 2022 – via GitHub.
"Qibocal". November 1, 2022 – via GitHub.
"pytket". GitHub. January 22, 2022.

grove-docs.readthedocs.io

"Welcome to the Documentation for Grove! — Grove 1.7.0 documentation". grove-docs.readthedocs.io.

handle.net

hdl.handle.net

Efthymiou, Stavros; Ramos-Calderer, Sergi; Bravo-Prieto, Carlos; Pérez-Salinas, Adrián; García-Martín, Diego; Garcia-Saez, Artur; Latorre, José Ignacio; Carrazza, Stefano (January 1, 2022). "Qibo: a framework for quantum simulation with hardware acceleration". Quantum Science and Technology. 7 (1): 015018. arXiv:2009.01845. Bibcode:2022QS&T....7a5018E. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963. ISSN 2058-9565. S2CID 221507478.
Ying, Mingsheng; Ying, Shenggang; Wu, Xiaodi (2017), "Invariants of quantum programs: Characterisations and generation", ACM SIGPLAN Notices, 52: 818–832, doi:10.1145/3093333.3009840, hdl:10453/127333

harvard.edu

ui.adsabs.harvard.edu

Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan (March 11, 2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (February 4, 2016). "The theory of variational hybrid quantum-classical algorithms". New Journal of Physics. 18 (2): 023023. arXiv:1509.04279. Bibcode:2016NJPh...18b3023M. doi:10.1088/1367-2630/18/2/023023. ISSN 1367-2630. S2CID 92988541.
Häner, Thomas; Steiger, Damian S.; Svore, Krysta; Troyer, Matthias (2018). "A software methodology for compiling quantum programs". Quantum Science and Technology. 3 (2): 020501. arXiv:1604.01401. Bibcode:2018QS&T....3b0501H. doi:10.1088/2058-9565/aaa5cc. ISSN 2058-9565. S2CID 1922315.
Heurtel, Nicolas; Fyrillas, Andreas; de Gliniasty, Grégoire; Le Bihan, Raphaël; Malherbe, Sébastien; Pailhas, Marceau; Bertasi, Eric; Bourdoncle, Boris; Emeriau, Pierre-Emmanuel; Mezher, Rawad; Music, Luka; Belabas, Nadia; Valiron, Benoît; Senellart, Pascale; Mansfield, Shane; Senellart, Jean (February 21, 2023). "Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing". Quantum. 7: 931. arXiv:2204.00602. Bibcode:2023Quant...7..931H. doi:10.22331/q-2023-02-21-931. S2CID 247922568.
Efthymiou, Stavros; Ramos-Calderer, Sergi; Bravo-Prieto, Carlos; Pérez-Salinas, Adrián; García-Martín, Diego; Garcia-Saez, Artur; Latorre, José Ignacio; Carrazza, Stefano (January 1, 2022). "Qibo: a framework for quantum simulation with hardware acceleration". Quantum Science and Technology. 7 (1): 015018. arXiv:2009.01845. Bibcode:2022QS&T....7a5018E. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963. ISSN 2058-9565. S2CID 221507478.
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (September 22, 2022). "Quantum simulation with just-in-time compilation". Quantum. 6: 814. arXiv:2203.08826. Bibcode:2022Quant...6..814E. doi:10.22331/q-2022-09-22-814. S2CID 247518955.
Killoran, Nathan; Izaac, Josh; Quesada, Nicolás; Bergholm, Ville; Amy, Matthew; Weedbrook, Christian (2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (May 1, 2012). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535.
Baltag, Alexandru; Bergfeld, Jort; Kishida, Kohei; Sack, Joshua; Smets, Sonja; Zhong, Shengyang (2014). "PLQP & Company: Decidable Logics for Quantum Algorithms". International Journal of Theoretical Physics. 53 (10): 3628–3647. Bibcode:2014IJTP...53.3628B. doi:10.1007/s10773-013-1987-3. S2CID 254573992.
Litteken, Andrew (May 28, 2020). "An updated LLVM-based quantum research compiler with further OpenQASM support". Quantum Science and Technology. 5 (3): 034013. Bibcode:2020QS&T....5c4013L. doi:10.1088/2058-9565/ab8c2c. OSTI 1803951. S2CID 219101628.

ieee.org

spectrum.ieee.org

"In the Race to Hundreds of Qubits, Photons May Have "Quantum Advantage"". IEEE Spectrum: Technology, Engineering, and Science News. March 5, 2021. Retrieved March 26, 2021.

ieeexplore.ieee.org

Scott Pakin, "A Quantum Macro Assembler", Proceedings of the 20th Annual IEEE High Performance Extreme Computing Conference 2016

iop.org

iopscience.iop.org

Efthymiou, Stavros; Ramos-Calderer, Sergi; Bravo-Prieto, Carlos; Pérez-Salinas, Adrián; García-Martín, Diego; Garcia-Saez, Artur; Latorre, José Ignacio; Carrazza, Stefano (January 1, 2022). "Qibo: a framework for quantum simulation with hardware acceleration". Quantum Science and Technology. 7 (1): 015018. arXiv:2009.01845. Bibcode:2022QS&T....7a5018E. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963. ISSN 2058-9565. S2CID 221507478.

itc.it

sra.itc.it

"Software for the Q language". November 23, 2001. Archived from the original on June 20, 2009. Retrieved July 20, 2017.

lemonde.fr

"La puissance d'un ordinateur quantique testée en ligne (The power of a quantum computer tested online)". Le Monde.fr. Le Monde. November 22, 2022.

microsoft.com

learn.microsoft.com

"Azure Quantum documentation, QDK & Q# API reference - Azure Quantum". learn.microsoft.com.
"What is Azure Quantum? - Azure Quantum". learn.microsoft.com. January 11, 2023.
"Introduction to Q# & Quantum Development Kit - Azure Quantum". learn.microsoft.com. March 30, 2023.

microsoft.com

Quantum Architectures and Computation Group (QuArC), https://www.microsoft.com/en-us/research/group/quantum-architectures-and-computation-group-quarc/, 2011
"Language-Integrated Quantum Operations: LIQUi|>". Microsoft. 2016.

stationq.microsoft.com

"StationQ". microsoft.com. Retrieved July 20, 2017.

mindspore.cn

"MindSpore Quantum Documentation". www.mindspore.cn/mindquantum.

nott.ac.uk

sneezy.cs.nott.ac.uk

T. Altenkirch, V. Belavkin, J. Grattage, A. Green, A. Sabry, J. K. Vizzotto, QML: A Functional Quantum Programming Language Archived 2006-07-10 at the Wayback Machine (website)
"QML: A Functional Quantum Programming Language". September 26, 2007. Archived from the original on September 26, 2007.
Jonathan Grattage, QML: A Functional Quantum Programming Language (compiler) Archived 2016-03-05 at the Wayback Machine, 2005–2008

cs.nott.ac.uk

Jonathan Grattage: QML Research (website)

osti.gov

Litteken, Andrew (May 28, 2020). "An updated LLVM-based quantum research compiler with further OpenQASM support". Quantum Science and Technology. 5 (3): 034013. Bibcode:2020QS&T....5c4013L. doi:10.1088/2058-9565/ab8c2c. OSTI 1803951. S2CID 219101628.

pasqal.io

"PASQAL". PASQAL.

pennylane.ai

"Plugins and ecosystem — PennyLane". pennylane.ai. Retrieved March 26, 2021.

pennylane.readthedocs.io

"PennyLane Documentation — PennyLane 0.14.1 documentation". pennylane.readthedocs.io. Retrieved March 26, 2021.

princeton.edu

cs.princeton.edu

Javadi-Abhari, Ali. "Scaffold: Quantum Programming Language". Princeton University-Department of Computer Science. Princeton University. Retrieved September 22, 2020.

projectq.ch

"Home".

qiskit.org

"qiskit.org". qiskit.org.
"Qiskit Overview". Retrieved February 10, 2021.

qrisp.eu

"Qrisp official website".

quantinuum.com

"Accelerating Quantum Computing". www.quantinuum.com.

quantum-blackbird.readthedocs.io

"Blackbird Quantum Assembly Language — Blackbird 0.2.0 documentation". quantum-blackbird.readthedocs.io. Retrieved June 24, 2019.

quantum-journal.org

Heurtel, Nicolas; Fyrillas, Andreas; de Gliniasty, Grégoire; Le Bihan, Raphaël; Malherbe, Sébastien; Pailhas, Marceau; Bertasi, Eric; Bourdoncle, Boris; Emeriau, Pierre-Emmanuel; Mezher, Rawad; Music, Luka; Belabas, Nadia; Valiron, Benoît; Senellart, Pascale; Mansfield, Shane; Senellart, Jean (February 21, 2023). "Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing". Quantum. 7: 931. arXiv:2204.00602. Bibcode:2023Quant...7..931H. doi:10.22331/q-2023-02-21-931. S2CID 247922568.
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (September 22, 2022). "Quantum simulation with just-in-time compilation". Quantum. 6: 814. arXiv:2203.08826. Bibcode:2022Quant...6..814E. doi:10.22331/q-2022-09-22-814. S2CID 247518955.

quantumket.org

"Ket Quantum Programming". quantumket.org. Retrieved May 18, 2023.

rtinsights.com

Salamone, Salvatore (December 13, 2020). "Real-time Analytics News Roundup for Week Ending December 12". RTInsights. Retrieved March 26, 2021.

sdtimes.com

"SD Times Open-Source Project of the Week: PennyLane". SD Times. February 26, 2021. Retrieved March 26, 2021.

semanticscholar.org

api.semanticscholar.org

Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan (March 11, 2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (February 4, 2016). "The theory of variational hybrid quantum-classical algorithms". New Journal of Physics. 18 (2): 023023. arXiv:1509.04279. Bibcode:2016NJPh...18b3023M. doi:10.1088/1367-2630/18/2/023023. ISSN 1367-2630. S2CID 92988541.
Häner, Thomas; Steiger, Damian S.; Svore, Krysta; Troyer, Matthias (2018). "A software methodology for compiling quantum programs". Quantum Science and Technology. 3 (2): 020501. arXiv:1604.01401. Bibcode:2018QS&T....3b0501H. doi:10.1088/2058-9565/aaa5cc. ISSN 2058-9565. S2CID 1922315.
Heurtel, Nicolas; Fyrillas, Andreas; de Gliniasty, Grégoire; Le Bihan, Raphaël; Malherbe, Sébastien; Pailhas, Marceau; Bertasi, Eric; Bourdoncle, Boris; Emeriau, Pierre-Emmanuel; Mezher, Rawad; Music, Luka; Belabas, Nadia; Valiron, Benoît; Senellart, Pascale; Mansfield, Shane; Senellart, Jean (February 21, 2023). "Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing". Quantum. 7: 931. arXiv:2204.00602. Bibcode:2023Quant...7..931H. doi:10.22331/q-2023-02-21-931. S2CID 247922568.
Efthymiou, Stavros; Ramos-Calderer, Sergi; Bravo-Prieto, Carlos; Pérez-Salinas, Adrián; García-Martín, Diego; Garcia-Saez, Artur; Latorre, José Ignacio; Carrazza, Stefano (January 1, 2022). "Qibo: a framework for quantum simulation with hardware acceleration". Quantum Science and Technology. 7 (1): 015018. arXiv:2009.01845. Bibcode:2022QS&T....7a5018E. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963. ISSN 2058-9565. S2CID 221507478.
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (September 22, 2022). "Quantum simulation with just-in-time compilation". Quantum. 6: 814. arXiv:2203.08826. Bibcode:2022Quant...6..814E. doi:10.22331/q-2022-09-22-814. S2CID 247518955.
Killoran, Nathan; Izaac, Josh; Quesada, Nicolás; Bergholm, Ville; Amy, Matthew; Weedbrook, Christian (2019). "Strawberry Fields: A Software Platform for Photonic Quantum Computing". Quantum. 3: 129. arXiv:1804.03159. Bibcode:2019Quant...3..129K. doi:10.22331/q-2019-03-11-129. S2CID 54763305.
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (May 1, 2012). "Gaussian quantum information". Reviews of Modern Physics. 84 (2): 621–669. arXiv:1110.3234. Bibcode:2012RvMP...84..621W. doi:10.1103/RevModPhys.84.621. S2CID 119250535.
Liu, Shusen; Zhou, li; Guan, Ji; He, Yang; Duan, Runyao; Ying, Mingsheng (May 9, 2017). "Q|SI>: A Quantum Programming Language". Scientia Sinica Informationis. 47 (10): 1300. arXiv:1710.09500. doi:10.1360/N112017-00095. S2CID 9163705.
Baltag, Alexandru; Bergfeld, Jort; Kishida, Kohei; Sack, Joshua; Smets, Sonja; Zhong, Shengyang (2014). "PLQP & Company: Decidable Logics for Quantum Algorithms". International Journal of Theoretical Physics. 53 (10): 3628–3647. Bibcode:2014IJTP...53.3628B. doi:10.1007/s10773-013-1987-3. S2CID 254573992.
Ying, Mingsheng (January 2012). "Floyd–hoare Logic for Quantum Programs". ACM Trans. Program. Lang. Syst. 33 (6): 19:1–19:49. doi:10.1145/2049706.2049708. ISSN 0164-0925. S2CID 416960.
Ying, Mingsheng; Feng, Yuan (2010). "A Flowchart Language for Quantum Programming". IEEE Transactions on Software Engineering. 37 (4): 466–485. doi:10.1109/TSE.2010.94. ISSN 0098-5589. S2CID 5879273.
Ying, Mingsheng; Yu, Nengkun; Feng, Yuan; Duan, Runyao (2013). "Verification of quantum programs". Science of Computer Programming. 78 (9): 1679–1700. arXiv:1106.4063. doi:10.1016/j.scico.2013.03.016. S2CID 18913620.
Litteken, Andrew (May 28, 2020). "An updated LLVM-based quantum research compiler with further OpenQASM support". Quantum Science and Technology. 5 (3): 034013. Bibcode:2020QS&T....5c4013L. doi:10.1088/2058-9565/ab8c2c. OSTI 1803951. S2CID 219101628.
Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (June 11, 2020). "Silq: A high-level quantum language with safe uncomputation and intuitive semantics". Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. London UK: ACM. pp. 286–300. doi:10.1145/3385412.3386007. ISBN 978-1-4503-7613-6. S2CID 219397029.
Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (2013). "An Introduction to Quantum Programming in Quipper". Reversible Computation. Lecture Notes in Computer Science. Vol. 7948. pp. 110–124. arXiv:1304.5485. doi:10.1007/978-3-642-38986-3_10. ISBN 978-3-642-38985-6. S2CID 9135905.

siliconangle.com

"AWS joins PennyLane, an open-source framework that melds machine learning with quantum computing". SiliconANGLE. February 17, 2021. Retrieved March 26, 2021.

sourceforge.net

lanq.sourceforge.net

Hynek Mlnařík. "LanQ – a quantum imperative programming language".

springer.com

link.springer.com

Baltag, Alexandru; Bergfeld, Jort; Kishida, Kohei; Sack, Joshua; Smets, Sonja; Zhong, Shengyang (2014). "PLQP & Company: Decidable Logics for Quantum Algorithms". International Journal of Theoretical Physics. 53 (10): 3628–3647. Bibcode:2014IJTP...53.3628B. doi:10.1007/s10773-013-1987-3. S2CID 254573992.

stationq.github.io

"The Language Integrated Quantum Operations Simulator". github.io. Retrieved July 20, 2017.

strawberryfields.ai

"Hardware — Strawberry Fields". strawberryfields.ai. Retrieved March 26, 2021.

strawberryfields.readthedocs.io

"Strawberry Fields — Strawberry Fields 0.8.0 documentation". strawberryfields.readthedocs.io. Retrieved September 25, 2018.

tuwien.ac.at

tph.tuwien.ac.at

Bernhard Omer. "The QCL Programming Language".
"QCL - A Programming Language for Quantum Computers". tuwien.ac.at. Retrieved July 20, 2017.

web.archive.org

"Software for the Q language". November 23, 2001. Archived from the original on June 20, 2009. Retrieved July 20, 2017.
T. Altenkirch, V. Belavkin, J. Grattage, A. Green, A. Sabry, J. K. Vizzotto, QML: A Functional Quantum Programming Language Archived 2006-07-10 at the Wayback Machine (website)
"QML: A Functional Quantum Programming Language". September 26, 2007. Archived from the original on September 26, 2007.
Jonathan Grattage, QML: A Functional Quantum Programming Language (compiler) Archived 2016-03-05 at the Wayback Machine, 2005–2008
André van Tonder. "A lambda calculus for quantum computation (website)". Archived from the original on March 5, 2016. Retrieved October 2, 2007.

worldcat.org

search.worldcat.org

McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (February 4, 2016). "The theory of variational hybrid quantum-classical algorithms". New Journal of Physics. 18 (2): 023023. arXiv:1509.04279. Bibcode:2016NJPh...18b3023M. doi:10.1088/1367-2630/18/2/023023. ISSN 1367-2630. S2CID 92988541.
Häner, Thomas; Steiger, Damian S.; Svore, Krysta; Troyer, Matthias (2018). "A software methodology for compiling quantum programs". Quantum Science and Technology. 3 (2): 020501. arXiv:1604.01401. Bibcode:2018QS&T....3b0501H. doi:10.1088/2058-9565/aaa5cc. ISSN 2058-9565. S2CID 1922315.
Efthymiou, Stavros; Ramos-Calderer, Sergi; Bravo-Prieto, Carlos; Pérez-Salinas, Adrián; García-Martín, Diego; Garcia-Saez, Artur; Latorre, José Ignacio; Carrazza, Stefano (January 1, 2022). "Qibo: a framework for quantum simulation with hardware acceleration". Quantum Science and Technology. 7 (1): 015018. arXiv:2009.01845. Bibcode:2022QS&T....7a5018E. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963. ISSN 2058-9565. S2CID 221507478.
Da Rosa, Evandro Chagas Ribeiro; De Santiago, Rafael (January 31, 2022). "Ket Quantum Programming". ACM Journal on Emerging Technologies in Computing Systems. 18 (1): 1–25. doi:10.1145/3474224. ISSN 1550-4832.
Ying, Mingsheng (January 2012). "Floyd–hoare Logic for Quantum Programs". ACM Trans. Program. Lang. Syst. 33 (6): 19:1–19:49. doi:10.1145/2049706.2049708. ISSN 0164-0925. S2CID 416960.
Ying, Mingsheng; Feng, Yuan (2010). "A Flowchart Language for Quantum Programming". IEEE Transactions on Software Engineering. 37 (4): 466–485. doi:10.1109/TSE.2010.94. ISSN 0098-5589. S2CID 5879273.