Academic literature on the topic 'Quantum Programming Language'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Quantum Programming Language.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Quantum Programming Language"
XU, Jia-Fu. "Quantum Programming Language NDQJava." Journal of Software 19, no. 1 (2008): 1–8. http://dx.doi.org/10.3724/sp.j.1001null.
Full textSELINGER, PETER. "Towards a quantum programming language." Mathematical Structures in Computer Science 14, no. 4 (2004): 527–86. http://dx.doi.org/10.1017/s0960129504004256.
Full textXU, Jia-Fu, Fang-Min SONG, Shi-Jun QIAN, Jing-An DAI, and Yun-Jie ZHANG. "Quantum Programming Language NDQJava &." Journal of Software 19, no. 1 (2008): 1–8. http://dx.doi.org/10.3724/sp.j.1001.2008.00001.
Full textLIU, Ling, and Jia-Fu XU. "Quantum Programming Language NDQJava-2." Journal of Software 22, no. 5 (2011): 877–86. http://dx.doi.org/10.3724/sp.j.1001.2011.03979.
Full textVizzotto, Juliana Kaizer, and Bruno Crestani Calegaro. "QJava: A Monadic Java Library for Quantum Programming." Revista de Informática Teórica e Aplicada 22, no. 1 (2015): 242. http://dx.doi.org/10.22456/2175-2745.51121.
Full textZorzi, Margherita. "Quantum Calculi—From Theory to Language Design." Applied Sciences 9, no. 24 (2019): 5472. http://dx.doi.org/10.3390/app9245472.
Full textMLNAŘÍK, HYNEK. "SEMANTICS OF QUANTUM PROGRAMMING LANGUAGE LANQ." International Journal of Quantum Information 06, supp01 (2008): 733–38. http://dx.doi.org/10.1142/s0219749908004031.
Full textPalsberg, Jens. "Toward a universal quantum programming language." XRDS: Crossroads, The ACM Magazine for Students 26, no. 1 (2019): 14–17. http://dx.doi.org/10.1145/3355759.
Full textYing, Mingsheng, and Yuan Feng. "A Flowchart Language for Quantum Programming." IEEE Transactions on Software Engineering 37, no. 4 (2011): 466–85. http://dx.doi.org/10.1109/tse.2010.94.
Full textPlata-Cesar, Nely, Jose Raymundo Marcial-Romero, and Jose Antonio Hernandez-Servin. "Reversibility for Quantum Programming Language QML." IEEE Latin America Transactions 18, no. 10 (2020): 1692–98. http://dx.doi.org/10.1109/tla.2020.9387639.
Full textDissertations / Theses on the topic "Quantum Programming Language"
Grattage, Jonathan James. "A functional quantum programming language." Thesis, University of Nottingham, 2006. http://eprints.nottingham.ac.uk/10250/.
Full textGreen, Alexander S. "Towards a formally verified functional quantum programming language." Thesis, University of Nottingham, 2010. http://eprints.nottingham.ac.uk/11457/.
Full textValiron, Benoit. "A functional programming language for quantum computation with classical control." Thesis, University of Ottawa (Canada), 2004. http://hdl.handle.net/10393/26790.
Full textBrandhorst-Satzkorn, Johan. "A Review of Freely Available Quantum Computer Simulation Software." Thesis, Linköpings universitet, Matematik och tillämpad matematik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-78650.
Full textGOMES, Mouglas Eugênio Nasário. "LinDCQ : uma linguagem para descrição de circuitos quânticos que possibilita o cálculo das operações na GPU utilizando JOCL." Universidade Federal Rural de Pernambuco, 2015. http://www.tede2.ufrpe.br:8080/tede2/handle/tede2/6237.
Full textAtzemoglou, George Philip. "Higher-order semantics for quantum programming languages with classical control." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f.
Full textColledan, Andrea. "Abstract Machine Semantics for Quipper." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/22835/.
Full textVizzotto, Juliana Kaizer. "Structuring general and complete quantum computations in Haskell : the arrows approach." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2006. http://hdl.handle.net/10183/13154.
Full textHjern, Gunnar. "The modernization of a DOS-basedtime critical solar cell LBICmeasurement system." Thesis, Karlstads universitet, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-74322.
Full textValiron, Benoît. "Semantics for a Higher Order Functional Programming Language for Quantum Computation." Phd thesis, 2008. http://tel.archives-ouvertes.fr/tel-00483944.
Full textBooks on the topic "Quantum Programming Language"
Coecke, Bob. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Springer Berlin Heidelberg, 2013.
Find full textDavis, Martin. From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz. Springer London, 2013.
Find full textSilva, Vladimir. Practical Quantum Computing for Developers: Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience. Apress / KP, 2019.
Find full textSilva, Vladimir. Practical Quantum Computing for Developers: Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience. Apress, 2018.
Find full textPractical Statecharts in C/C++: Quantum Programming for Embedded Systems with CDROM. CMP Books, 2002.
Find full textDavis, Martin, and Edmond Schonberg. From Linear Operators to Computational Biology. Springer, 2012.
Find full textBook chapters on the topic "Quantum Programming Language"
Péchoux, Romain, Simon Perdrix, Mathys Rennela, and Vladimir Zamdzhiev. "Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_29.
Full textVizzotto, Juliana Kaizer, André Rauber Du Bois, and Amr Sabry. "The Arrow Calculus as a Quantum Programming Language." In Logic, Language, Information and Computation. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02261-6_30.
Full textBornat, Richard, Jaap Boender, Florian Kammueller, Guillaume Poly, and Rajagopal Nagarajan. "Describing and Simulating Concurrent Quantum Systems." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45237-7_16.
Full textChareton, Christophe, Sébastien Bardin, François Bobot, Valentin Perrelle, and Benoît Valiron. "An Automated Deductive Verification Framework for Circuit-building Quantum Programs." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_6.
Full textBrassard, Gilles, Peter HØyer, and Alain Tapp. "Quantum counting." In Automata, Languages and Programming. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055105.
Full textVizzotto, Juliana Kaizer, Bruno Crestani Calegaro, and Eduardo Kessler Piveta. "A Double Effect λ-calculus for Quantum Computation." In Programming Languages. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40922-6_5.
Full textda Silva Feitosa, Samuel, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, and Andre Rauber Du Bois. "A Monadic Semantics for Quantum Computing in Featherweight Java." In Programming Languages. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-45279-1_3.
Full textKawachi, Akinori, and Tomoyuki Yamakami. "Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding." In Automata, Languages and Programming. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11787006_19.
Full textJeandel, Emmanuel. "Universality in Quantum Computation." In Automata, Languages and Programming. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27836-8_67.
Full textKimmel, Shelby. "Quantum Adversary (Upper) Bound." In Automata, Languages, and Programming. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31594-7_47.
Full textConference papers on the topic "Quantum Programming Language"
Paykin, Jennifer, Robert Rand, and Steve Zdancewic. "QWIRE: a core language for quantum circuits." In POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, 2017. http://dx.doi.org/10.1145/3009837.3009894.
Full textYu, Nengkun, and Jens Palsberg. "Quantum abstract interpretation." In PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2021. http://dx.doi.org/10.1145/3453483.3454061.
Full textZhu, Shaopeng, Shih-Han Hung, Shouvanik Chakrabarti, and Xiaodi Wu. "On the principles of differentiable quantum programming languages." In PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2020. http://dx.doi.org/10.1145/3385412.3386011.
Full textZhou, Li, Nengkun Yu, and Mingsheng Ying. "An applied quantum Hoare logic." In PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 2019. http://dx.doi.org/10.1145/3314221.3314584.
Full textParadis, Anouk, Benjamin Bichsel, Samuel Steffen, and Martin Vechev. "Unqomp: synthesizing uncomputation in Quantum circuits." In PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2021. http://dx.doi.org/10.1145/3453483.3454040.
Full textTao, Runzhou, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu. "Gleipnir: toward practical error analysis for Quantum programs." In PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2021. http://dx.doi.org/10.1145/3453483.3454029.
Full textBichsel, Benjamin, Maximilian Baader, Timon Gehr, and Martin Vechev. "Silq: a high-level quantum language with safe uncomputation and intuitive semantics." In PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2020. http://dx.doi.org/10.1145/3385412.3386007.
Full textLiu, Ji, Gregory T. Byrd, and Huiyang Zhou. "Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation." In ASPLOS '20: Architectural Support for Programming Languages and Operating Systems. ACM, 2020. http://dx.doi.org/10.1145/3373376.3378488.
Full textKotra, Jagadish. "Session details: Quantum Computing." In ASPLOS '19: Architectural Support for Programming Languages and Operating Systems. ACM, 2019. http://dx.doi.org/10.1145/3324117.
Full textStaton, Sam. "Algebraic Effects, Linearity, and Quantum Programming Languages." In POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 2015. http://dx.doi.org/10.1145/2676726.2676999.
Full text