{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:34:11Z","timestamp":1767137651662,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319452784","type":"print"},{"value":"9783319452791","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45279-1_3","type":"book-chapter","created":{"date-parts":[[2016,9,16]],"date-time":"2016-09-16T16:23:45Z","timestamp":1474043025000},"page":"31-45","source":"Crossref","is-referenced-by-count":0,"title":["A Monadic Semantics for Quantum Computing in Featherweight Java"],"prefix":"10.1007","author":[{"given":"Samuel","family":"da Silva Feitosa","sequence":"first","affiliation":[]},{"given":"Juliana Kaizer","family":"Vizzotto","sequence":"additional","affiliation":[]},{"given":"Eduardo Kessler","family":"Piveta","sequence":"additional","affiliation":[]},{"given":"Andre Rauber","family":"Du Bois","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013414 (2004)","DOI":"10.1109\/LICS.2004.1319635"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Altenkirch, T., Grattage, J.: A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (2005)","DOI":"10.1109\/LICS.2005.1"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.entcs.2006.12.010","volume":"170","author":"T Altenkirch","year":"2007","unstructured":"Altenkirch, T., Grattage, J., Vizzotto, J.K., Sabry, A.: An algebra of pure quantum programming. Electron. Notes Theor. Comput. Sci. 170, 23\u201347 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-540-70590-1_2","volume-title":"Rewriting Techniques and Applications","author":"P Arrighi","year":"2008","unstructured":"Arrighi, P., Dowek, G.: Linear-algebraic $$\\lambda $$ -calculus: higher-order, encodings, and confluence. In: Voronkov, A. (ed.) RTA 2008. LNCS, vol. 5117, pp. 17\u201331. Springer, Heidelberg (2008). eprint arXiv:quant-ph\/0612199"},{"key":"3_CR5","unstructured":"Bellia, M., Occhiuto., M.: Java: proving type safety for Java simple closures. In: CSp 2010, pp. 61\u201372 (2010)"},{"key":"3_CR6","unstructured":"Bettelli, S., Serafini, L., Calarco, T.: Towards an architecture for quantum programming. CoRR cs.PL\/0103009 (2001). http:\/\/arxiv.org\/abs\/cs.PL\/0103009"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Calegaro, B., Vizzotto, J.K.: Quantum monad using Java closures. In: 2nd Workshop-School on Theoretical Computer Science (WEIT), pp. 34\u201339, October 2013","DOI":"10.1109\/WEIT.2013.31"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/978-3-540-70583-3_25","volume-title":"Automata, Languages and Programming","author":"B Coecke","year":"2008","unstructured":"Coecke, B., Duncan, R.: Interacting quantum observables. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 298\u2013310. Springer, Heidelberg (2008)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-03034-5_9","volume-title":"Domain-Specific Languages","author":"AR Bois Du","year":"2009","unstructured":"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\u2013186. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-03034-5_9"},{"key":"3_CR10","unstructured":"Feitosa, S.S.: Uma Linguagem de Programa\u00e7\u00e3o Qu\u00e2ntica Orientada a Objetos Baseada no Featherweight Java. Master\u2019s thesis, Universidade Federal de Santa Maria"},{"key":"3_CR11","unstructured":"Feitosa, S.S., Vizzotto, J.K., Piveta, E.K., Du Bois, A.R.: FJQuantum: uma Linguagem Qu\u00e2ntica orientada a objetos. In: 3rd Workshop-School on Theoretical Computer Science, WEIT 2015, Porto Alegre, RS, Brazil, 14\u201316 October 2015, pp. 136\u2013143 (2015)"},{"key":"3_CR12","unstructured":"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\u2013258 (2005)"},{"issue":"3","key":"3_CR13","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"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\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Knill, E.: Conventions for quantum pseudocode. Technical report, Los Alamos National Laboratory (1996)","DOI":"10.2172\/366453"},{"key":"3_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511813870","volume-title":"Quantum Computer Science: An Introduction","author":"ND Mermin","year":"2007","unstructured":"Mermin, N.D.: Quantum Computer Science: An Introduction. Cambridge University Press, New York (2007)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: Proceedings of the Fourth Annual Symposium on Logic in Computer Science, pp. 14\u201323. IEEE Press (1989)","DOI":"10.1109\/LICS.1989.39155"},{"issue":"1","key":"3_CR17","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55\u201392 (1991). citeseer.ist.psu.edu\/moggi89notions.html","journal-title":"Inf. Comput."},{"key":"3_CR18","unstructured":"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\/MuBird2001Functional.pdf"},{"key":"3_CR19","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2011","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information, 10th edn. Cambridge University Press, New York (2011)","edition":"10"},{"key":"3_CR20","unstructured":"\u00d6mer, B.: A procedural formalism for quantum computing. Technical University of Vienna, Technical report (1998)"},{"key":"3_CR21","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT press, Cambridge (2002)"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/10722010_6","volume-title":"Mathematics of Program Construction","author":"JW Sanders","year":"2000","unstructured":"Sanders, J.W., Zuliani, P.: Quantum programming. In: Backhouse, R., Oliveira, J.N. (eds.) MPC 2000. LNCS, vol. 1837, pp. 80\u201399. Springer, Heidelberg (2000)"},{"issue":"4","key":"3_CR23","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S0960129504004256","volume":"14","author":"P Selinger","year":"2004","unstructured":"Selinger, P.: Towards a quantum programming language. J. Math. Struct. Comput. Sci. 14(4), 527\u2013586 (2004)","journal-title":"J. Math. Struct. Comput. Sci."},{"key":"3_CR24","unstructured":"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)"},{"issue":"3","key":"3_CR25","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S0960129506005238","volume":"16","author":"P Selinger","year":"2006","unstructured":"Selinger, P., Valiron, B.: A lambda calculus for quantum computation with classical control. J. Math. Struct. Comput. Sci. 16(3), 527\u2013552 (2006). Special Issue in Quantum Programming Languages","journal-title":"J. Math. Struct. Comput. Sci."},{"key":"3_CR26","doi-asserted-by":"crossref","first-page":"1109","DOI":"10.1137\/S0097539703432165","volume":"33","author":"A Tonder van","year":"2004","unstructured":"van Tonder, A.: A Lambda calculus for quantum computation. SIAM J. Comput. 33, 1109\u20131135 (2004)","journal-title":"SIAM J. Comput."},{"key":"3_CR27","unstructured":"Vizzotto, J.K., Altenkirch, T., Sabry, A.: Structuring quantum effects: superoperators as arrows. J. Math. Struct. Comput. Sci. 16, 453\u2013468 (2006). Special Issue in Quantum Programming Languages. http:\/\/arxiv.org\/abs\/quant-ph\/0501151"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-40922-6_5","volume-title":"Programming Languages","author":"JK Vizzotto","year":"2013","unstructured":"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\u201374. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-40922-6_5"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"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\u2013393. Springer, Heidelberg (2009). http:\/\/arxiv.org\/abs\/0903.1489","DOI":"10.1007\/978-3-642-02261-6_30"},{"key":"3_CR30","volume-title":"Explorations in Quantum Computing","author":"CP Williams","year":"2008","unstructured":"Williams, C.P.: Explorations in Quantum Computing, 2nd edn. Springer Publishing Company Incorporated, New York (2008)","edition":"2"}],"updated-by":[{"DOI":"10.1007\/978-3-319-45279-1_13","type":"erratum","label":"Erratum","source":"publisher","updated":{"date-parts":[[2016,11,26]],"date-time":"2016-11-26T00:00:00Z","timestamp":1480118400000}}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45279-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:01:07Z","timestamp":1498330867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45279-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319452784","9783319452791"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45279-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}