
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Mingsheng Ying, Yuan Feng, "A Flowchart Language for Quantum Programming," IEEE Transactions on Software Engineering, vol. 37, no. 4, pp. 466485, July/August, 2011.  
BibTex  x  
@article{ 10.1109/TSE.2010.94, author = {Mingsheng Ying and Yuan Feng}, title = {A Flowchart Language for Quantum Programming}, journal ={IEEE Transactions on Software Engineering}, volume = {37}, number = {4}, issn = {00985589}, year = {2011}, pages = {466485}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.94}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  A Flowchart Language for Quantum Programming IS  4 SN  00985589 SP466 EP485 EPD  466485 A1  Mingsheng Ying, A1  Yuan Feng, PY  2011 KW  Quantum programming KW  flowchart language KW  whilelanguage KW  structured programming. VL  37 JA  IEEE Transactions on Software Engineering ER   
[1] S. Abramsky and B. Coecke, "A Categorical Semantics of Quantum Protocols," Proc. 19th IEEE Symp. Logic in Computer Science, pp. 415425, 2004.
[2] T. Altenkirch and J. Grattage, "A Functional Quantum Programming Language," Proc. 20th Ann. IEEE Symp. Logic in Computer Science, pp. 249258, 2005.
[3] K.R. Apt and E.R. Olderog, Verification of Sequential and Concurrent Programs, Springer, 1997.
[4] A. Baltag and S. Smets, "LQP: The Dynamic Logic of Quantum Information," Math. Structures in Computer Science, vol. 16, pp. 491525, 2006.
[5] S. Bettelli, T. Calarco, and L. Serafini, "Toward an Architecture for Quantum Programming," The European Physical J. D, vol. 25, pp. 181200, 2003.
[6] O. Brunet and P. Jorrand, "Dynamic Quantum Logic for Quantum Programs," Int'l J. Quantum Information, vol. 2, pp. 4554, 2004.
[7] R. Chadha, P. Mateus, and A. Sernadas, "Reasoning about Imperative Quantum Programs," Electronic Notes in Theoretical Computer Science, vol. 158, pp. 1939, 2006.
[8] D.C. Cooper, "Böhm and Jacopini's Reduction of Flow Charts," Comm. ACM, vol. 10, pp. 463473, 1967.
[9] V. Danos, E. Kashefi, and P. Panangaden, "The Measurement Calculus," J. ACM, vol. 54, p. 8, 2007.
[10] E. D'Hondt and P. Panangaden, "Quantum Weakest Preconditions," Math. Structures in Computer Science, vol. 16, pp. 429451, 2006.
[11] Y. Feng, R.Y. Duan, Z.F. Ji, and M.S. Ying, "Proof Rules for the Correctness of Quantum Programs," Theoretical Computer Science, vol. 386, pp. 151166, 2007.
[12] S.J. Gay, "Quantum Programming Languages: Survey and Bibliography," Math. Structures in Computer Science, vol. 16, pp. 581600, 2006.
[13] E.H. Knill, "Conventions for Quantum Pseudocode," Technical Report LAUR962724, Los Alamos Nat'l Laboratory, 1996.
[14] D.E. Knuth, "Structured Programming with go to Statements," ACM Computing Surveys, vol. 6, pp. 261301, 1974.
[15] J. Loeckx and K. Sieber, The Foundations of Program Verification, John Wiley, 1987.
[16] Semantic Techniques in Quantum Computation, I. Mackie and S. Gay, eds. Cambridge Univ. Press, 2010.
[17] M.A. Nielsen and I.L. Chuang, Quantum Computation and Quantum Information. Cambridge Univ. Press, 2000.
[18] R. Nagarajan, N. Papanikolaou, and D. Williams, "Simulating and Compiling Code for the Sequential Quantum Random Access Machine," Electronic Notes in Theoretical Computer Science, vol. 170, pp. 101124, 2007.
[19] B. Ömer, "Structural Quantum Programming," PhD thesis, Technical Univ. of Vienna, 2003.
[20] P. Panangaden, Labelled Markov Processes. World Scientific, 2009.
[21] J.W. Sanders and P. Zuliani, "Quantum Programming," Proc., Math. Program Construction, pp. 8899, 2000.
[22] P. Selinger, "Towards a Quantum Programming Language," Math. Structures in Computer Science, vol. 14, pp. 527586, 2004.
[23] P. Selinger, "A Brief Survey of Quantum Programming Languages," Proc. Seventh Int'l Symp. Functional and Logic Programming, pp. 16, 2004.
[24] K.M. Svore, A.V. Aho, A.W. Cross, I.L. Chuang, and I.L. Markov, "A Layered Software Architecture for Quantum Computing Design Tools," Computer, vol. 39, pp. 7483, 2006.
[25] A. Tafliovich and E.C.R. Hehner, "Quantum Predicative Programming," Proc. Eighth Int'l Conf. Math. of Program Construction, pp. 433454, 2006.
[26] A. Tafliovich and E.C.R. Hehner, "Programming with Quantum Communication," Electronic Notes in Theoretical Computer Science, vol. 253, pp. 99118, 2009.
[27] J. von Neumann, "On Infinite Direct Product," Compositio Mathematica, vol. 6, pp. 177, 1938.
[28] M.S. Ying, Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. Springer, 2001.
[29] M.S. Ying, "Hoare Logic for Quantum Programs," http://xxx.lanl.gov/abs0906.4586, 2010.
[30] M.S. Ying, R.Y. Duan, Y. Feng, and Z.F. Ji, "Predicate Transformer Semantics of Quantum Programs," Semantic Techniques in Quantum Computation, I. Mackie and S. Gay, eds., pp. 311360, Cambridge Univ. Press, 2010.
[31] M.S. Ying and Y. Feng, "Quantum Loop Programs," Acta Informatica, vol. 47, pp. 221250, 2010.
[32] M.S. Ying, Y. Feng, R.Y. Duan, and Z.F. Ji, "An Algebra of Quantum Processes," ACM Trans. Computational Logic, vol. 10, p. 19, 2009.
[33] P. Zuliani, "Compiling Quantum Programs," Acta Informatica, vol. 41, pp. 435473, 2005.
[34] P. Zuliani, "Reasoning about Faulty Quantum Programs," Acta Informatica, vol. 46, pp. 403432, 2009.