{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:57:53Z","timestamp":1760043473024,"version":"3.37.3"},"reference-count":59,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,1]],"date-time":"2022-11-01T00:00:00Z","timestamp":1667260800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Fundao para a Cincia e a Tecnologia","doi-asserted-by":"publisher","award":["CEECINST\/00062\/2018","POCI-01-0145-FEDER-030947"],"award-info":[{"award-number":["CEECINST\/00062\/2018","POCI-01-0145-FEDER-030947"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,11,1]]},"DOI":"10.1109\/tse.2021.3117515","type":"journal-article","created":{"date-parts":[[2021,10,5]],"date-time":"2021-10-05T00:57:06Z","timestamp":1633395426000},"page":"4339-4356","source":"Crossref","is-referenced-by-count":4,"title":["Compiling Quantamorphisms for the IBM Q Experience"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8271-5100","authenticated-orcid":false,"given":"Ana","family":"Neri","sequence":"first","affiliation":[{"name":"HASLab\/INESC TEC, Universidade do Minho, Braga, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0465-8518","authenticated-orcid":false,"given":"Rui Soares","family":"Barbosa","sequence":"additional","affiliation":[{"name":"INL – International Iberian Nanotechnology Laboratory, Braga, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0196-4229","authenticated-orcid":false,"given":"Jose N.","family":"Oliveira","sequence":"additional","affiliation":[{"name":"HASLab\/INESC TEC, Universidade do Minho, Braga, Portugal"}]}],"member":"263","reference":[{"article-title":"Neural networks, types, and functional programming","year":"2021","author":"olah","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/319628.319634"},{"journal-title":"Programming from Specification","year":"1990","author":"morgan","key":"ref33"},{"journal-title":"Categories Allegories (Mathematical Library Series)","year":"1990","author":"freyd","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359579"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/041"},{"key":"ref37","first-page":"249","article-title":"A relation-algebraic approach to the “Hoare logic","volume":"83","author":"oliveira","year":"2014","journal-title":"Journal of Logic and Algebraic Programing"},{"journal-title":"Relational Mathematics (Encyclopedia of Mathematics and its Applications Series)","year":"2010","author":"schmidt","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2017.09.003"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.15"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2016.10.010"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370681"},{"article-title":"Quantum Manifesto: A new era of technology","year":"2016","author":"de touzalin","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2003.1227"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.04.008"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796805005721"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0240-9"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3117515"},{"key":"ref23","first-page":"173","article-title":"Categories for the practising physicist","volume":"831","author":"coecke","year":"2011","journal-title":"New Structures for Physics (Lecture Notes in Physics Series)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38986-3_10"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291162"},{"article-title":"Qiskit: An open-source framework for quantum computing (0.7.2)","year":"2019","author":"aleksandrowicz","key":"ref50"},{"article-title":"Cramming more power into a quantum device","year":"2021","author":"gambetta","key":"ref51"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.318.13"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304075"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.76.5"},{"article-title":"Towards quantum program calculation","year":"2018","author":"neri","key":"ref56"},{"key":"ref55","first-page":"19","article-title":"Towards quantamorphisms – Some thoughts on (constructive) reversibility","author":"oliveira","year":"2018","journal-title":"ICT Cost Action 1405 Meeting Cyprus"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_19"},{"key":"ref53","first-page":"33","article-title":"Quantum alternation: Prospects and problems","author":"b?descu","year":"2015","journal-title":"Proc 12th Int Workshop Quantum Phys Logic"},{"journal-title":"Foundations of Quantum Programming","year":"2016","author":"ying","key":"ref52"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.94"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.011"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1232743.1232745"},{"journal-title":"Mathematics of Program Construction","year":"2004","author":"backhouse","key":"ref14"},{"journal-title":"Algebra of Programming","year":"1997","author":"bird","key":"ref15"},{"journal-title":"Categories for the Working Mathematician","year":"1971","author":"maclane","key":"ref16"},{"journal-title":"Quantum Computation and Quantum Information","year":"2011","author":"nielsen","key":"ref17"},{"article-title":"qdb: Inserted tomography for breakpoint debugging in pyQuil","year":"2019","author":"hoag","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813887"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2307\/2371045"},{"key":"ref3","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"2","author":"turing","year":"1936","journal-title":"Proc London Math Soc"},{"key":"ref6","article-title":"History of electronics","author":"routray","year":"2004","journal-title":"Proc IEEE Conf History Electron"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/9780470409756"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1985.0070"},{"article-title":"Who invented the transistor? – Computer history museum.","year":"2019","author":"laws","key":"ref7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/10722010_6"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(4:11)2007"},{"article-title":"Haskell library: Laop-0.1.0.7","year":"2020","author":"santos","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.318.14"},{"article-title":"Quantamorphisms guide","year":"2021","author":"neri","key":"ref47"},{"key":"ref42","article-title":"The next frontier: Quantum computing","author":"moreda","year":"2018","journal-title":"Talk at Porto Tech Hub Conf Porto"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034777"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.012"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9946941\/09557827.pdf?arnumber=9557827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:36:23Z","timestamp":1670873783000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9557827\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,1]]},"references-count":59,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tse.2021.3117515","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2022,11,1]]}}}