Mahmoud, Mohamed Yousri; Felty, Amy P. Formal meta-level analysis framework for quantum programming languages. (English) Zbl 1433.68078 Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 185-201 (2018). MSC: 68N15 03B40 03B70 68V15 81P68 PDFBibTeX XMLCite \textit{M. Y. Mahmoud} and \textit{A. P. Felty}, Electron. Notes Theor. Comput. Sci. 338, 185--201 (2018; Zbl 1433.68078) Full Text: DOI
Ying, Shenggang; Ying, Mingsheng Reachability analysis of quantum Markov decision processes. (English) Zbl 1407.68341 Inf. Comput. 263, 31-51 (2018). MSC: 68Q85 68Q12 68Q87 PDFBibTeX XMLCite \textit{S. Ying} and \textit{M. Ying}, Inf. Comput. 263, 31--51 (2018; Zbl 1407.68341) Full Text: DOI arXiv
Ameen, El-Mahdy M.; Ali, Hesham A.; Salem, Mofreh M.; Badawy, Mahmoud Towards implementation of a generalized architecture for high-level quantum programming language. (English) Zbl 1383.81052 Int. J. Theor. Phys. 56, No. 8, 2376-2412 (2017). MSC: 81P68 68Q12 68M07 PDFBibTeX XMLCite \textit{E.-M. M. Ameen} et al., Int. J. Theor. Phys. 56, No. 8, 2376--2412 (2017; Zbl 1383.81052) Full Text: DOI
Feitosa, Samuel S.; Vizzotto, Juliana K.; Piveta, Eduardo K.; Du Bois, Andre R. FJQuantum. A quantum object oriented language. (English) Zbl 1364.68127 Vizzotto, Juliana K. (ed.), Proceedings of the 3rd workshop-school on theoretical computer science, Porto Alegre, Brazil, October 14–16, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 324, 67-77 (2016). MSC: 68N15 81P68 PDFBibTeX XMLCite \textit{S. S. Feitosa} et al., Electron. Notes Theor. Comput. Sci. 324, 67--77 (2016; Zbl 1364.68127) Full Text: DOI
Li, Yangjia; Yu, Nengkun; Ying, Mingsheng Termination of nondeterministic quantum programs. (English) Zbl 1359.68092 Acta Inf. 51, No. 1, 1-24 (2014). MSC: 68Q12 PDFBibTeX XMLCite \textit{Y. Li} et al., Acta Inf. 51, No. 1, 1--24 (2014; Zbl 1359.68092) Full Text: DOI arXiv
Valiron, Benoît Quantum computation: from a programmer’s perspective. (English) Zbl 1298.81051 New Generation Comput. 31, No. 1, 1-26 (2013). MSC: 81P68 81-01 68N15 PDFBibTeX XMLCite \textit{B. Valiron}, New Generation Comput. 31, No. 1, 1--26 (2013; Zbl 1298.81051) Full Text: DOI
Hehner, Eric C. R. A probability perspective. (English) Zbl 1236.68197 Formal Asp. Comput. 23, No. 4, 391-419 (2011). Reviewer: Krzysztof Piasecki (Poznań) MSC: 68T01 68Q87 68N99 91A99 94A99 60A05 PDFBibTeX XMLCite \textit{E. C. R. Hehner}, Formal Asp. Comput. 23, No. 4, 391--419 (2011; Zbl 1236.68197) Full Text: DOI
Gielerak, Roman; Sawerwain, Marek Generalised quantum weakest preconditions. (English) Zbl 1197.81047 Quantum Inf. Process. 9, No. 4, 441-449 (2010). MSC: 81P10 81P15 28B05 46G10 PDFBibTeX XMLCite \textit{R. Gielerak} and \textit{M. Sawerwain}, Quantum Inf. Process. 9, No. 4, 441--449 (2010; Zbl 1197.81047) Full Text: DOI arXiv
Ying, Mingsheng; Feng, Yuan Quantum loop programs. (English) Zbl 1214.68168 Acta Inf. 47, No. 4, 221-250 (2010). MSC: 68Q12 81P68 PDFBibTeX XMLCite \textit{M. Ying} and \textit{Y. Feng}, Acta Inf. 47, No. 4, 221--250 (2010; Zbl 1214.68168) Full Text: DOI arXiv Link
Zuliani, Paolo Reasoning about faulty quantum programs. (English) Zbl 1183.68155 Acta Inf. 46, No. 6, 403-432 (2009). MSC: 68N15 68Q10 81P68 68Q12 PDFBibTeX XMLCite \textit{P. Zuliani}, Acta Inf. 46, No. 6, 403--432 (2009; Zbl 1183.68155) Full Text: DOI Link
Lampis, Michael; Ginis, Kyriakos G.; Papakyriakou, Michalis A.; Papaspyrou, Nikolaos S. Quantum data and control made easier. (English) Zbl 1279.68035 Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 85-105 (2008). MSC: 68N15 68N18 81P10 81P68 PDFBibTeX XMLCite \textit{M. Lampis} et al., Electron. Notes Theor. Comput. Sci. 210, 85--105 (2008; Zbl 1279.68035) Full Text: DOI
Zuliani, Paolo Quantum programming with mixed states. (English) Zbl 1277.68061 Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 185-199 (2007). MSC: 68N30 81P68 68N15 PDFBibTeX XMLCite \textit{P. Zuliani}, Electron. Notes Theor. Comput. Sci. 170, 185--199 (2007; Zbl 1277.68061) Full Text: DOI
Perdrix, Simon Quantum patterns and types for entanglement and separability. (English) Zbl 1277.68066 Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 125-138 (2007). MSC: 68P05 68N15 81P68 PDFBibTeX XMLCite \textit{S. Perdrix}, Electron. Notes Theor. Comput. Sci. 170, 125--138 (2007; Zbl 1277.68066) Full Text: DOI
Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao Commutativity of quantum weakest preconditions. (English) Zbl 1184.68258 Inf. Process. Lett. 104, No. 4, 152-158 (2007). MSC: 68Q10 81P68 PDFBibTeX XMLCite \textit{M. Ying} et al., Inf. Process. Lett. 104, No. 4, 152--158 (2007; Zbl 1184.68258) Full Text: DOI Link
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng Probabilistic bisimulations for quantum processes. (English) Zbl 1130.68079 Inf. Comput. 205, No. 11, 1608-1639 (2007). MSC: 68Q85 68Q10 81P68 PDFBibTeX XMLCite \textit{Y. Feng} et al., Inf. Comput. 205, No. 11, 1608--1639 (2007; Zbl 1130.68079) Full Text: DOI Link
Feng, Yuan; Duan, Runyao; Ji, Zhengfeng; Ying, Mingsheng Proof rules for the correctness of quantum programs. (English) Zbl 1137.68038 Theor. Comput. Sci. 386, No. 1-2, 151-166 (2007). MSC: 68Q60 81P68 68Q05 PDFBibTeX XMLCite \textit{Y. Feng} et al., Theor. Comput. Sci. 386, No. 1--2, 151--166 (2007; Zbl 1137.68038) Full Text: DOI Link
Mousavi, Mohammadreza; Reniers, Michel A.; Groote, Jan Friso SOS formats and meta-theory: 20 years after. (English) Zbl 1111.68069 Theor. Comput. Sci. 373, No. 3, 238-272 (2007). MSC: 68Q55 PDFBibTeX XMLCite \textit{M. Mousavi} et al., Theor. Comput. Sci. 373, No. 3, 238--272 (2007; Zbl 1111.68069) Full Text: DOI
Zuliani, Paolo Compiling quantum programs. (English) Zbl 1079.68020 Acta Inf. 41, No. 7-8, 435-474 (2005). MSC: 68N20 68Q05 81P68 PDFBibTeX XMLCite \textit{P. Zuliani}, Acta Inf. 41, No. 7--8, 435--474 (2005; Zbl 1079.68020) Full Text: DOI