A Monadic Semantics for Quantum Computing in Featherweight Java

详细信息    查看全文

• 关键词：Quantum computing ; Monadic semantics ; Featherweight java
• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：9889
• 期：1
• 页码：31-45
• 全文大小：473 KB
• 参考文献：1.Abramsky, S.: High-level methods for quantum computation and information. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 410–414 (2004)
  2.Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005)
  3.Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An algebra of pure quantum programming. Electron. Notes Theor. Comput. Sci. 170, 23–47 (2007)CrossRef MATH
  4.Arrighi, P., Dowek, G.: Linear-algebraic \(\lambda \) -calculus: higher-order, encodings, and confluence. In: Voronkov, A. (ed.) RTA 2008. LNCS, vol. 5117, pp. 17–31. Springer, Heidelberg (2008). eprint arXiv:​quant-ph/​0612199 CrossRef
  5.Bellia, M., Occhiuto., M.: Java: proving type safety for Java simple closures. In: CSp 2010, pp. 61–72 (2010)
  6.Bettelli, S., Serafini, L., Calarco, T.: Towards an architecture for quantum programming. CoRR cs.PL/0103009 (2001). http://​arxiv.​org/​abs/​cs.​PL/​0103009
  7.Calegaro, B., Vizzotto, J.K.: Quantum monad using Java closures. In: 2nd Workshop-School on Theoretical Computer Science (WEIT), pp. 34–39, October 2013
  8.Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 298–310. Springer, Heidelberg (2008)CrossRef
  9.Du Bois, A.R., Echevarria, M.: A domain specific language for composable memory transactions in Java. In: Taha, W.M. (ed.) DSL 2009. LNCS, vol. 5658, pp. 170–186. Springer, Heidelberg (2009). doi:10.​1007/​978-3-642-03034-5_​9 CrossRef
  10.Feitosa, S.S.: Uma Linguagem de Programação Quântica Orientada a Objetos Baseada no Featherweight Java. Master’s thesis, Universidade Federal de Santa Maria
  11.Feitosa, S.S., Vizzotto, J.K., Piveta, E.K., Du Bois, A.R.: FJQuantum: uma Linguagem Quântica orientada a objetos. In: 3rd Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, RS, Brazil, 14–16 October 2015, pp. 136–143 (2015)
  12.Grattage, J.J., Chapman, J., Green, A., Jago, M., Swierstra, W., Jaskelioff, M.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, pp. 249–258 (2005)
  13.Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. (TOPLAS) 23(3), 396–450 (2001)CrossRef
  14.Knill, E.: Conventions for quantum pseudocode. Technical report, Los Alamos National Laboratory (1996)
  15.Mermin, N.D.: Quantum Computer Science: An Introduction. Cambridge University Press, New York (2007)CrossRef MATH
  16.Moggi, E.: Computational lambda-calculus and monads. In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science, pp. 14–23. IEEE Press (1989)
  17.Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55–92 (1991). citeseer.​ist.​psu.​edu/​moggi89notions.​html MathSciNet CrossRef MATH
  18.Mu, S.C., Bird, R.: Functional quantum programming. In: Asian Workshop on Programming Languages and Systems. KAIST, Dajeaon, Korea. http://​www.​cs.​ox.​ac.​uk/​people/​richard.​bird/​online/​MuBird2001Functi​onal.​pdf
  19.Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information, 10th edn. Cambridge University Press, New York (2011)MATH
  20.Ömer, B.: A procedural formalism for quantum computing. Technical University of Vienna, Technical report (1998)
  21.Pierce, B.C.: Types and Programming Languages. MIT press, Cambridge (2002)MATH
  22.Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol. 1837, pp. 80–99. Springer, Heidelberg (2000)CrossRef
  23.Selinger, P.: Towards a quantum programming language. J. Math. Struct. Comput. Sci. 14(4), 527–586 (2004)MathSciNet CrossRef MATH
  24.Selinger, P.: Finite dimensional hilbert spaces are complete for dagger compact closed categories. In: Proceedings of the 5th International Workshop on Quantum Physics and Logic (QPL 2008), p. 11, Reykjavik, Iceland (2008)
  25.Selinger, P., Valiron, B.: A lambda calculus for quantum computation with classical control. J. Math. Struct. Comput. Sci. 16(3), 527–552 (2006). Special Issue in Quantum Programming LanguagesMathSciNet CrossRef MATH
  26.van Tonder, A.: A Lambda calculus for quantum computation. SIAM J. Comput. 33, 1109–1135 (2004)MathSciNet CrossRef MATH
  27.Vizzotto, J.K., Altenkirch, T., Sabry, A.: Structuring quantum effects: superoperators as arrows. J. Math. Struct. Comput. Sci. 16, 453–468 (2006). Special Issue in Quantum Programming Languages. http://​arxiv.​org/​abs/​quant-ph/​0501151
  28.Vizzotto, J.K., Calegaro, B.C., Piveta, E.K.: A double effect \(\lambda \) -calculus for quantum computation. In: Du Bois, A.R., Trinder, P. (eds.) SBLP 2013. LNCS, vol. 8129, pp. 61–74. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-40922-6_​5 CrossRef
  29.Vizzotto, J.K., Du Bois, A.R., Sabry, A.: The arrow calculus as a quantum programming language. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol. 5514, pp. 379–393. Springer, Heidelberg (2009). http://​arxiv.​org/​abs/​0903.​1489
  30.Williams, C.P.: Explorations in Quantum Computing, 2nd edn. Springer Publishing Company Incorporated, New York (2008)MATH
  
• 作者单位：Samuel da Silva Feitosa (15)
  Juliana Kaizer Vizzotto (15)
  Eduardo Kessler Piveta (15)
  Andre Rauber Du Bois (16)
  
  15. Universidade Federal de Santa Maria, Santa Maria, Brazil
  16. Universidade Federal de Pelotas, Pelotas, Brazil
  
• 丛书名：Programming Languages
• ISBN：978-3-319-45279-1
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349
• 卷排序：9889

文摘

Nowadays, several languages and libraries have been proposed to program and reason about quantum programs in the imperative and functional paradigms. Although the object-oriented paradigm is one of the most used for general purpose software, there is a lack of quantum programming languages designed with this paradigm in mind. In this paper, we present the monadic semantics for FJQuantum, an object-oriented language based on Featherweight Java, created to reason and to develop programs handling quantum data and quantum operations, taking advantage of the characteristics of that paradigm. We also show a set of examples of quantum programs using the proposed language.