{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:43:39Z","timestamp":1761709419525},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811074691"},{"type":"electronic","value":"9789811074707"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-981-10-7470-7_72","type":"book-chapter","created":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T13:17:13Z","timestamp":1513775833000},"page":"767-778","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Translation Validation of Loop Invariant Code Optimizations Involving False Computations"],"prefix":"10.1007","author":[{"given":"Ramanuj","family":"Chouksey","sequence":"first","affiliation":[]},{"given":"Chandan","family":"Karfa","sequence":"additional","affiliation":[]},{"given":"Purandar","family":"Bhaduri","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,21]]},"reference":[{"issue":"8","key":"72_CR1","doi-asserted-by":"crossref","first-page":"1180","DOI":"10.1109\/TCAD.2014.2314392","volume":"33","author":"K Banerjee","year":"2014","unstructured":"Banerjee, K., Karfa, C., Sarkar, D., Mandal, C.A.: Verification of code motion techniques using value propagation. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 33(8), 1180\u20131193 (2014)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"issue":"1","key":"72_CR2","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/43.62794","volume":"10","author":"R Camposano","year":"1991","unstructured":"Camposano, R.: Path-based scheduling for synthesis. IEEE Trans. CAD Integr. Circ. Syst. 10(1), 85\u201393 (1991)","journal-title":"IEEE Trans. CAD Integr. Circ. Syst."},{"issue":"8","key":"72_CR3","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"issue":"1","key":"72_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"RW Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning meanings to programs. Math. Aspects Comput. Sci. 19(1), 19\u201332 (1967)","journal-title":"Math. Aspects Comput. Sci."},{"key":"72_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3636-9","volume-title":"High-level Synthesis: Introduction to Chip and System Design","author":"DD Gajski","year":"1992","unstructured":"Gajski, D.D., Dutt, N.D., Wu, A.C.H., Lin, S.Y.L.: High-level Synthesis: Introduction to Chip and System Design. Kluwer Academic Publishers, Norwell (1992)"},{"issue":"2","key":"72_CR6","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1109\/TCAD.2003.822105","volume":"23","author":"S Gupta","year":"2004","unstructured":"Gupta, S., Savoiu, N., Dutt, N.D., Gupta, R.K., Nicolau, A.: Using global code motions to improve the quality of results for high-level synthesis. IEEE Trans. CAD Integr. Circ. Syst. 23(2), 302\u2013312 (2004)","journal-title":"IEEE Trans. CAD Integr. Circ. Syst."},{"issue":"10","key":"72_CR7","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"3","key":"72_CR8","first-page":"30","volume":"17","author":"C Karfa","year":"2012","unstructured":"Karfa, C., Mandal, C.A., Sarkar, D.: Formal verification of code motion techniques using data-flow-driven equivalence checking. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 17(3), 30 (2012)","journal-title":"ACM Trans. Des. Autom. Electron. Syst. (TODAES)"},{"issue":"3","key":"72_CR9","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1109\/TCAD.2007.913390","volume":"27","author":"C Karfa","year":"2008","unstructured":"Karfa, C., Sarkar, D., Mandal, C., Kumar, P.: An equivalence-checking method for scheduling verification in high-level synthesis. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 27(3), 556\u2013569 (2008)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"72_CR10","doi-asserted-by":"crossref","unstructured":"Knoop, J., R\u00fcthing, O., Steffen, B.: Lazy code motion. In: Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, PLDI 1992, pp. 224\u2013234. ACM, New York (1992)","DOI":"10.1145\/143095.143136"},{"key":"72_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-540-70545-1_44","volume-title":"Computer Aided Verification","author":"S Kundu","year":"2008","unstructured":"Kundu, S., Lerner, S., Gupta, R.: Validating high-level synthesis. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 459\u2013472. Springer, Heidelberg (2008). \nhttps:\/\/doi.org\/10.1007\/978-3-540-70545-1_44"},{"issue":"4","key":"72_CR12","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1109\/TCAD.2010.2042889","volume":"29","author":"S Kundu","year":"2010","unstructured":"Kundu, S., Lerner, S., Gupta, R.K.: Translation validation of high-level synthesis. IEEE Trans. CAD Integr. Circ. Syst. 29(4), 566\u2013579 (2010)","journal-title":"IEEE Trans. CAD Integr. Circ. Syst."},{"key":"72_CR13","doi-asserted-by":"crossref","unstructured":"Lee, C., Shih, C., Huang, J., Jou, J.: Equivalence checking of scheduling with speculative code transformations in high-level synthesis. In: Proceedings of the 16th Asia South Pacific Design Automation Conference, ASP-DAC 2011, PLDI 1992, pp. 497\u2013502. IEEE, Yokohama (2011)","DOI":"10.1109\/ASPDAC.2011.5722241"},{"issue":"1","key":"72_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/357062.357071","volume":"1","author":"T Lengauer","year":"1979","unstructured":"Lengauer, T., Tarjan, R.E.: A fast algorithm for finding dominators in a flowgraph. ACM Trans. Program. Lang. Syst. (TOPLAS) 1(1), 121\u2013141 (1979)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"1","key":"72_CR15","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/362835.362838","volume":"12","author":"ES Lowry","year":"1969","unstructured":"Lowry, E.S., Medlock, C.W.: Object code optimization. Commun. ACM 12(1), 13\u201322 (1969)","journal-title":"Commun. ACM"},{"key":"72_CR16","doi-asserted-by":"crossref","unstructured":"Rahmouni, M., Jerraya, A.A.: Formulation and evaluation of scheduling techniques for control flow graphs. In: Proceedings of EURO-DAC, European Design Automation Conference, EURO-DAC 1995, pp. 386\u2013391. IEEE, England (1995)","DOI":"10.1109\/EURDAC.1995.527434"},{"key":"72_CR17","doi-asserted-by":"crossref","unstructured":"R\u00fcthing, O., Knoop, J., Steffen, B.: Sparse code motion. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2000, pp. 170\u2013183. ACM, New York (2000)","DOI":"10.1145\/325694.325715"},{"key":"72_CR18","unstructured":"Z3. \nhttps:\/\/github.com\/Z3Prover\/z3"}],"container-title":["Communications in Computer and Information Science","VLSI Design and Test"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-7470-7_72","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T13:49:40Z","timestamp":1513777780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-7470-7_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811074691","9789811074707"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-7470-7_72","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}