Programação quântica (Portuguese Wikipedia)

Da Rosa, Evandro Chagas Ribeiro; De Santiago, Rafael (31 de janeiro de 2022). «Ket Quantum Programming». ACM Journal on Emerging Technologies in Computing Systems (em inglês). 18 (1): 1–25. ISSN 1550-4832. doi:10.1145/3474224

aqt.eu

«Home». AQT | ALPINE QUANTUM TECHNOLOGIES

arxiv.org

Bertels, K.; Almudever, C. G.; Hogaboam, J. W.; Ashraf, I.; Guerreschi, G. G.; Khammassi, N. (24 de maio de 2018). «cQASM v1.0: Towards a Common Quantum Assembly Language» (em inglês). 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 (4 de fevereiro de 2016). «The theory of variational hybrid quantum-classical algorithms». New Journal of Physics. 18 (2). 023023 páginas. Bibcode:2016NJPh...18b3023M. ISSN 1367-2630. arXiv:1509.04279. doi:10.1088/1367-2630/18/2/023023
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]
Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan (11 de março de 2019). «Strawberry Fields: A Software Platform for Photonic Quantum Computing». Quantum (em inglês). 3. 129 páginas. Bibcode:2019Quant...3..129K. arXiv:1804.03159. doi:10.22331/q-2019-03-11-129
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 páginas. Bibcode:2018QS&T....3b0501H. ISSN 2058-9565. arXiv:1604.01401. doi:10.1088/2058-9565/aaa5cc
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 (Fevereiro 21, 2023). «Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing». Quantum. 7: 931. Bibcode:2023Quant...7..931H. arXiv:2204.00602. doi:10.22331/q-2023-02-21-931
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]
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 (1 de janeiro de 2022). «Qibo: a framework for quantum simulation with hardware acceleration». Quantum Science and Technology. 7 (1). 015018 páginas. Bibcode:2022QS&T....7a5018E. ISSN 2058-9565. arXiv:2009.01845. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (22 de setembro de 2022). «Quantum simulation with just-in-time compilation». Quantum (em inglês). 6. 814 páginas. Bibcode:2022Quant...6..814E. arXiv:2203.08826. doi:10.22331/q-2022-09-22-814
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 páginas. Bibcode:2019Quant...3..129K. arXiv:1804.03159. doi:10.22331/q-2019-03-11-129
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (1 de maio de 2012). «Gaussian quantum information». Reviews of Modern Physics. 84 (2): 621–669. Bibcode:2012RvMP...84..621W. arXiv:1110.3234. doi:10.1103/RevModPhys.84.621
Liu, Shusen; Zhou, li; Guan, Ji; He, Yang; Duan, Runyao; Ying, Mingsheng (9 de maio de 2017). «Q|SI>: A Quantum Programming Language». Scientia Sinica Informationis. 47 (10). 1300 páginas. arXiv:1710.09500. doi:10.1360/N112017-00095
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
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]
A. Baltag e S. Smets, "LQP: A Lógica Dinâmica da Informação Quântica", Estruturas Matemáticas em Ciência da Computação 16(3):491-525, 2006.
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. Col: Lecture Notes in Computer Science. 7948. [S.l.: s.n.] pp. 110–124. ISBN 978-3-642-38985-6. arXiv:1304.5485. doi:10.1007/978-3-642-38986-3_10

brown.edu

het.brown.edu

André van Tonder. «A lambda calculus for quantum computation (website)»

computer.org

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

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

dx.doi.org

McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (4 de fevereiro de 2016). «The theory of variational hybrid quantum-classical algorithms». New Journal of Physics. 18 (2). 023023 páginas. Bibcode:2016NJPh...18b3023M. ISSN 1367-2630. arXiv:1509.04279. doi:10.1088/1367-2630/18/2/023023
Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan (11 de março de 2019). «Strawberry Fields: A Software Platform for Photonic Quantum Computing». Quantum (em inglês). 3. 129 páginas. Bibcode:2019Quant...3..129K. arXiv:1804.03159. doi:10.22331/q-2019-03-11-129
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 páginas. Bibcode:2018QS&T....3b0501H. ISSN 2058-9565. arXiv:1604.01401. doi:10.1088/2058-9565/aaa5cc
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 (Fevereiro 21, 2023). «Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing». Quantum. 7: 931. Bibcode:2023Quant...7..931H. arXiv:2204.00602. doi:10.22331/q-2023-02-21-931
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 (1 de janeiro de 2022). «Qibo: a framework for quantum simulation with hardware acceleration». Quantum Science and Technology. 7 (1). 015018 páginas. Bibcode:2022QS&T....7a5018E. ISSN 2058-9565. arXiv:2009.01845. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (22 de setembro de 2022). «Quantum simulation with just-in-time compilation». Quantum (em inglês). 6. 814 páginas. Bibcode:2022Quant...6..814E. arXiv:2203.08826. doi:10.22331/q-2022-09-22-814
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 páginas. Bibcode:2019Quant...3..129K. arXiv:1804.03159. doi:10.22331/q-2019-03-11-129
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (1 de maio de 2012). «Gaussian quantum information». Reviews of Modern Physics. 84 (2): 621–669. Bibcode:2012RvMP...84..621W. arXiv:1110.3234. doi:10.1103/RevModPhys.84.621
Liu, Shusen; Zhou, li; Guan, Ji; He, Yang; Duan, Runyao; Ying, Mingsheng (9 de maio de 2017). «Q|SI>: A Quantum Programming Language». Scientia Sinica Informationis. 47 (10). 1300 páginas. arXiv:1710.09500. doi:10.1360/N112017-00095
Da Rosa, Evandro Chagas Ribeiro; De Santiago, Rafael (31 de janeiro de 2022). «Ket Quantum Programming». ACM Journal on Emerging Technologies in Computing Systems (em inglês). 18 (1): 1–25. ISSN 1550-4832. doi:10.1145/3474224
Ying, Mingsheng (Janeiro 2012). «Floyd–hoare Logic for Quantum Programs». ACM Trans. Program. Lang. Syst. 33 (6): 19:1–19:49. ISSN 0164-0925. doi:10.1145/2049706.2049708
Ying, Mingsheng; Feng, Yuan (2010). «A Flowchart Language for Quantum Programming». IEEE Transactions on Software Engineering. 37 (4): 466–485. ISSN 0098-5589. doi:10.1109/TSE.2010.94
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
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 (28 Maio 2020). «An updated LLVM-based quantum research compiler with further OpenQASM support». Quantum Science and Technology. 5 (3): 034013. Bibcode:2020QS&T....5c4013L. OSTI 1803951. doi:10.1088/2058-9565/ab8c2c
Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (11 de junho de 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 (em inglês). London UK: ACM. pp. 286–300. ISBN 978-1-4503-7613-6. doi:10.1145/3385412.3386007
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
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
Alexander S. Green; Peter LeFanu Lumsdaine; Neil J. Ross; Peter Selinger; Benoît Valiron (2013). «An Introduction to Quantum Programming in Quipper». Reversible Computation. Col: Lecture Notes in Computer Science. 7948. [S.l.: s.n.] pp. 110–124. ISBN 978-3-642-38985-6. arXiv:1304.5485. doi:10.1007/978-3-642-38986-3_10

eclipse.org

«Eclipse Foundation (website)»

ethz.ch

silq.ethz.ch

«What is Silq?». silq.ethz.ch. Consultado em 21 de junho de 2020

fraunhofer.de

fokus.fraunhofer.de

«Fraunhofer FOKUS (website)»

github.com

«Comprehensive list of quantum open-source projects». Github. Consultado em 27 de janeiro de 2022
qiskit-openqasm: OpenQASM specification, International Business Machines, 4 de julho de 2017, consultado em 6 de julho de 2017
«Qibolab». Novembro 2, 2022 – via GitHub
«Qibocal». Novembro 1, 2022 – via GitHub
«pytket». GitHub. 22 Janeiro 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 (1 de janeiro de 2022). «Qibo: a framework for quantum simulation with hardware acceleration». Quantum Science and Technology. 7 (1). 015018 páginas. Bibcode:2022QS&T....7a5018E. ISSN 2058-9565. arXiv:2009.01845. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963
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

McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (4 de fevereiro de 2016). «The theory of variational hybrid quantum-classical algorithms». New Journal of Physics. 18 (2). 023023 páginas. Bibcode:2016NJPh...18b3023M. ISSN 1367-2630. arXiv:1509.04279. doi:10.1088/1367-2630/18/2/023023
Weedbrook, Christian; Amy, Matthew; Bergholm, Ville; Quesada, Nicolás; Izaac, Josh; Killoran, Nathan (11 de março de 2019). «Strawberry Fields: A Software Platform for Photonic Quantum Computing». Quantum (em inglês). 3. 129 páginas. Bibcode:2019Quant...3..129K. arXiv:1804.03159. doi:10.22331/q-2019-03-11-129
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 páginas. Bibcode:2018QS&T....3b0501H. ISSN 2058-9565. arXiv:1604.01401. doi:10.1088/2058-9565/aaa5cc
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 (Fevereiro 21, 2023). «Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing». Quantum. 7: 931. Bibcode:2023Quant...7..931H. arXiv:2204.00602. doi:10.22331/q-2023-02-21-931
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 (1 de janeiro de 2022). «Qibo: a framework for quantum simulation with hardware acceleration». Quantum Science and Technology. 7 (1). 015018 páginas. Bibcode:2022QS&T....7a5018E. ISSN 2058-9565. arXiv:2009.01845. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (22 de setembro de 2022). «Quantum simulation with just-in-time compilation». Quantum (em inglês). 6. 814 páginas. Bibcode:2022Quant...6..814E. arXiv:2203.08826. doi:10.22331/q-2022-09-22-814
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 páginas. Bibcode:2019Quant...3..129K. arXiv:1804.03159. doi:10.22331/q-2019-03-11-129
Weedbrook, Christian; Pirandola, Stefano; García-Patrón, Raúl; Cerf, Nicolas J.; Ralph, Timothy C.; Shapiro, Jeffrey H.; Lloyd, Seth (1 de maio de 2012). «Gaussian quantum information». Reviews of Modern Physics. 84 (2): 621–669. Bibcode:2012RvMP...84..621W. arXiv:1110.3234. doi:10.1103/RevModPhys.84.621
Litteken, Andrew (28 Maio 2020). «An updated LLVM-based quantum research compiler with further OpenQASM support». Quantum Science and Technology. 5 (3): 034013. Bibcode:2020QS&T....5c4013L. OSTI 1803951. doi:10.1088/2058-9565/ab8c2c
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

ieee.org

spectrum.ieee.org

«In the Race to Hundreds of Qubits, Photons May Have "Quantum Advantage"». IEEE Spectrum: Technology, Engineering, and Science News (em inglês). 5 Março 2021. Consultado em 26 de março de 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 (1 de janeiro de 2022). «Qibo: a framework for quantum simulation with hardware acceleration». Quantum Science and Technology. 7 (1). 015018 páginas. Bibcode:2022QS&T....7a5018E. ISSN 2058-9565. arXiv:2009.01845. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963

itc.it

sra.itc.it

«Software for the Q language». 23 de novembro de 2001. Consultado em 20 de julho de 2017. Cópia arquivada em 20 de junho de 2009

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. Novembro 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. Janeiro 11, 2023
«Introduction to Q# & Quantum Development Kit - Azure Quantum». learn.microsoft.com. Março 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. Consultado em 20 de julho de 2017

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 Arquivado em 2006-07-10 no Wayback Machine (website)
«QML: A Functional Quantum Programming Language». 26 de setembro de 2007. Cópia arquivada em 26 de setembro de 2007
Jonathan Grattage, QML: A Functional Quantum Programming Language (compiler) Arquivado em 2016-03-05 no Wayback Machine, 2005–2008

cs.nott.ac.uk

Jonathan Grattage: QML Research (website)

osti.gov

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

pasqal.io

«PASQAL». PASQAL

pennylane.ai

«Plugins and ecosystem — PennyLane». pennylane.ai (em inglês). Consultado em 26 de março de 2021

pennylane.readthedocs.io

«PennyLane Documentation — PennyLane 0.14.1 documentation». pennylane.readthedocs.io. Consultado em 26 de março de 2021

princeton.edu

cs.princeton.edu

Javadi-Abhari, Ali. «Scaffold: Quantum Programming Language». Princeton University-Department of Computer Science. Princeton University. Consultado em 22 Setembro 2020

projectq.ch

«Home»

qiskit.org

«qiskit.org». qiskit.org
«Qiskit Overview». Consultado em 10 de fevereiro de 2021

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. Consultado em 24 de junho de 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 (Fevereiro 21, 2023). «Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing». Quantum. 7: 931. Bibcode:2023Quant...7..931H. arXiv:2204.00602. doi:10.22331/q-2023-02-21-931
Efthymiou, Stavros; Lazzarin, Marco; Pasquale, Andrea; Carrazza, Stefano (22 de setembro de 2022). «Quantum simulation with just-in-time compilation». Quantum (em inglês). 6. 814 páginas. Bibcode:2022Quant...6..814E. arXiv:2203.08826. doi:10.22331/q-2022-09-22-814

quantumket.org

«Ket Quantum Programming». quantumket.org (em inglês). Consultado em 18 de maio de 2023

rtinsights.com

Salamone, Salvatore (13 de dezembro de 2020). «Real-time Analytics News Roundup for Week Ending December 12». RTInsights (em inglês). Consultado em 26 de março de 2021

sdtimes.com

«SD Times Open-Source Project of the Week: PennyLane». SD Times (em inglês). 26 de fevereiro de 2021. Consultado em 26 de março de 2021

siliconangle.com

«AWS joins PennyLane, an open-source framework that melds machine learning with quantum computing». SiliconANGLE (em inglês). 17 de fevereiro de 2021. Consultado em 26 de março de 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

stationq.github.io

«The Language Integrated Quantum Operations Simulator». github.io. Consultado em 20 de julho de 2017

strawberryfields.ai

«Hardware — Strawberry Fields». strawberryfields.ai. Consultado em 26 de março de 2021

strawberryfields.readthedocs.io

«Strawberry Fields — Strawberry Fields 0.8.0 documentation». strawberryfields.readthedocs.io (em inglês). Consultado em 25 de setembro de 2018

tuwien.ac.at

tph.tuwien.ac.at

Bernhard Omer. «The QCL Programming Language»
«QCL - A Programming Language for Quantum Computers». tuwien.ac.at. Consultado em 20 de julho de 2017

web.archive.org

«Software for the Q language». 23 de novembro de 2001. Consultado em 20 de julho de 2017. Cópia arquivada em 20 de junho de 2009
T. Altenkirch, V. Belavkin, J. Grattage, A. Green, A. Sabry, J. K. Vizzotto, QML: A Functional Quantum Programming Language Arquivado em 2006-07-10 no Wayback Machine (website)
«QML: A Functional Quantum Programming Language». 26 de setembro de 2007. Cópia arquivada em 26 de setembro de 2007
Jonathan Grattage, QML: A Functional Quantum Programming Language (compiler) Arquivado em 2016-03-05 no Wayback Machine, 2005–2008

worldcat.org

McClean, Jarrod R.; Romero, Jonathan; Babbush, Ryan; Aspuru-Guzik, Alán (4 de fevereiro de 2016). «The theory of variational hybrid quantum-classical algorithms». New Journal of Physics. 18 (2). 023023 páginas. Bibcode:2016NJPh...18b3023M. ISSN 1367-2630. arXiv:1509.04279. doi:10.1088/1367-2630/18/2/023023
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 páginas. Bibcode:2018QS&T....3b0501H. ISSN 2058-9565. arXiv:1604.01401. doi:10.1088/2058-9565/aaa5cc
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 (1 de janeiro de 2022). «Qibo: a framework for quantum simulation with hardware acceleration». Quantum Science and Technology. 7 (1). 015018 páginas. Bibcode:2022QS&T....7a5018E. ISSN 2058-9565. arXiv:2009.01845. doi:10.1088/2058-9565/ac39f5. hdl:2434/887963
Da Rosa, Evandro Chagas Ribeiro; De Santiago, Rafael (31 de janeiro de 2022). «Ket Quantum Programming». ACM Journal on Emerging Technologies in Computing Systems (em inglês). 18 (1): 1–25. ISSN 1550-4832. doi:10.1145/3474224
Ying, Mingsheng (Janeiro 2012). «Floyd–hoare Logic for Quantum Programs». ACM Trans. Program. Lang. Syst. 33 (6): 19:1–19:49. ISSN 0164-0925. doi:10.1145/2049706.2049708
Ying, Mingsheng; Feng, Yuan (2010). «A Flowchart Language for Quantum Programming». IEEE Transactions on Software Engineering. 37 (4): 466–485. ISSN 0098-5589. doi:10.1109/TSE.2010.94