{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T23:13:47Z","timestamp":1726442027246},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662457108"},{"type":"electronic","value":"9783662457115"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45711-5_5","type":"book-chapter","created":{"date-parts":[[2014,12,5]],"date-time":"2014-12-05T05:40:15Z","timestamp":1417758015000},"page":"74-91","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Synthesis and Optimization by Quantum Circuit Description Language"],"prefix":"10.1007","author":[{"given":"Mariam","family":"Zomorodi-Moghadam","sequence":"first","affiliation":[]},{"given":"Mohammad-Amin","family":"Taherkhani","sequence":"additional","affiliation":[]},{"given":"Keivan","family":"Navi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,12,6]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Proceedings of the 46th Annual Design Automation Conference, pp. 270\u2013275. ACM (2009)","DOI":"10.1145\/1629911.1629984"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Kerntopf, P.: A new heuristic algorithm for reversible logic synthesis. In: Proceedings of the 41st Annual Design Automation Conference, pp. 834\u2013837. ACM (2004)","DOI":"10.1145\/996566.996789"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Takahashi, K., Hirayama, T.: Reversible logic synthesis from positive Davio trees of logic functions. In: TENCON 2009\u20132009 IEEE Region 10 Conference, pp. 1\u20134. IEEE (2009)","DOI":"10.1109\/TENCON.2009.5395805"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Pang, Y., Wang, S., He, Z., Lin, J., Sultana, S., Radecka, K.: Positive Davio-based synthesis algorithm for reversible logic. In: 2011 IEEE 29th International Conference on Computer Design (ICCD), pp. 212\u2013218. IEEE (2011)","DOI":"10.1109\/ICCD.2011.6081399"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Gluck, R.: A reversible programming language and its invertible self-interpreter. In: Symposium on Partial Evaluation and Semanticsbased Program Manipulation, pp. 144\u2013153 (2007)","DOI":"10.1145\/1244381.1244404"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-1-4614-1427-8_13","volume-title":"In: System Specification and Design Languages","author":"R Wille","year":"2012","unstructured":"Wille, R., Offermann, S., Drechsler, R.: SyReC: a programming language for synthesis of reversible circuits. In: System Specification and Design Languages, pp. 207\u2013222. Springer, New York (2012)"},{"key":"5_CR7","unstructured":"Chakrabarti, A., Sur-Kolay, S., Mandal, S.B.: Design of a hardware description language based quantum circuit simulator. Int. J. Recent Trends Eng. Technol. 1 (2009)"},{"key":"5_CR8","first-page":"77","volume":"58","author":"P Gawron","year":"2010","unstructured":"Gawron, P., Klamka, J., Miszczak, J., Winiarczyk, R.: Extending scientific computing system with structural quantum programming capabilities. Bull. Pol. Acad. Sci. Tech. Sci. 58, 77\u201388 (2010)","journal-title":"Bull. Pol. Acad. Sci. Tech. Sci."},{"key":"5_CR9","unstructured":"\u00d6mer, B.: Structured quantum programming. Inf. Syst. 130 (2003)"},{"key":"5_CR10","first-page":"181","volume":"25","author":"S Bettelli","year":"2003","unstructured":"Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. Eur. Phys. J. D-Anat. Mol. Opt. Plasma Phys. 25, 181\u2013200 (2003)","journal-title":"Eur. Phys. J. D-Anat. Mol. Opt. Plasma Phys."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1109\/TSE.2010.94","volume":"37","author":"M Ying","year":"2011","unstructured":"Ying, M., Feng, Y.: A flowchart language for quantum programming. IEEE Trans. Softw. Eng. 37, 466\u2013485 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24754-8_1","volume-title":"Functional and Logic Programming","author":"P Selinger","year":"2004","unstructured":"Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 1\u20136. Springer, Heidelberg (2004)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Liu, X., Kubiatowicz, J.: Chisel-Q: Designing quantum circuits with a scala embedded language. In: 2013 IEEE 31st International Conference on Computer Design (ICCD). IEEE (2013)","DOI":"10.1109\/ICCD.2013.6657075"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-38986-3_10","volume-title":"Reversible Computation","author":"AS Green","year":"2013","unstructured":"Green, A.S., Lumsdaine, P.L.F., Ross, N.J., Selinger, P., Valiron, B.: An introduction to quantum programming in quipper. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 110\u2013124. Springer, Heidelberg (2013)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Green, A.S., Lumsdaine, P. L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. In: ACM SIGPLAN Notices, vol. 48, pp. 333\u2013342. ACM (2013)","DOI":"10.1145\/2499370.2462177"},{"key":"5_CR16","unstructured":"Abhari, A.J., Faruque, A., Dousti, M.J., Svec, L., Catu, O., Chakrabati, A., Chiang, C.-F., Vanderwilt, S., Black, J., Chong, F.: Scaffold: quantum programming language. Technical Report TR-934-12, Princeton University (2012)"},{"key":"5_CR17","doi-asserted-by":"publisher","DOI":"10.1002\/9780470181386","volume-title":"Quantum Computing Explained","author":"D McMahon","year":"2007","unstructured":"McMahon, D.: Quantum Computing Explained. Wiley, Hoboken (2007)"},{"key":"5_CR18","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1007\/s11128-012-0402-y","volume":"12","author":"KN Sgarbas","year":"2013","unstructured":"Sgarbas, K.N.: A quantum probability splitter and its application to qubit preparation. Quantum Inf. Process. 12, 601\u2013610 (2013)","journal-title":"Quantum Inf. Process."},{"key":"5_CR19","unstructured":"Maynard, C.M., Einar, P.: Integer Arithmetic With Hybrid Quantum-Classical Circuits (2013). arXiv preprint http:\/\/arxiv.org\/abs\/1304.4069arXiv:1304.4069"},{"key":"5_CR20","unstructured":"Florio, G., Picca, D.: Quantum implementation of elementary arithmetic operations (2004). arXiv preprint http:\/\/arxiv.org\/abs\/quant-ph\/0403048quant-ph\/0403048"},{"issue":"3","key":"5_CR21","first-page":"24:1","volume":"8","author":"BS Choi","year":"2012","unstructured":"Choi, B.S., Van Meter, R.: A $$\\Theta $$\n $$(\\sqrt{n})$$-depth quantum adder on the 2D NTC quantum computer architecture. ACM J. Emerg. Technol. Comput. Syst. (JETC) 8(3), 24:1\u201324:22 (2012)","journal-title":"ACM J. Emerg. Technol. Comput. Syst. (JETC)"},{"key":"5_CR22","unstructured":"Draper, T.G.: Addition on a Quantum Computer (2000). arXiv preprint http:\/\/arxiv.org\/abs\/quant-ph\/0008033quant-ph\/0008033"},{"key":"5_CR23","unstructured":"Frank, M.P., Thomas F.K. Jr.: Reversibility for efficient computing. Diss. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science (1999)"},{"key":"5_CR24","first-page":"17","volume":"7","author":"DS Oliveira","year":"2007","unstructured":"Oliveira, D.S., Ramos, R.V.: Quantum bit string comparator: circuits and applications. Quantum Comput. Comput. 7, 17\u201326 (2007)","journal-title":"Quantum Comput. Comput."},{"key":"5_CR25","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, New York (2000)"},{"key":"5_CR26","first-page":"351","volume":"6","author":"TG Draper","year":"2006","unstructured":"Draper, T.G., Kutin, S.A., Rains, E.M., Svore, K.M.: A logarithmic-depth quantum carry-lookahead adder. Quantum Inf. Comput. 6, 351\u2013369 (2006)","journal-title":"Quantum Inf. Comput."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Thapliyal, H., Ranganathan, N.: Design of efficient reversible logic-based binary and BCD adder circuits. ACM J. Emerg. Technol. Comput. Syst. 9(3) (2013)","DOI":"10.1145\/2491682"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Thapliyal, H., Ranganathan, N.: A new reversible design of bcd adder. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1\u20134. IEEE (2011)","DOI":"10.1109\/DATE.2011.5763308"},{"issue":"4","key":"5_CR29","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/1877745.1877748","volume":"6","author":"H Thapliyal","year":"2010","unstructured":"Thapliyal, H.: Ranganathan. N.: Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs. ACM J. Emerg. Technol. Comput. Syst. 6(4), 14:1\u201314:35 (2010)","journal-title":"ACM J. Emerg. Technol. Comput. Syst."}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science XXIV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45711-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T21:26:14Z","timestamp":1676409974000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-45711-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662457108","9783662457115"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45711-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 December 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}