{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:57Z","timestamp":1725550017893},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285847"},{"type":"electronic","value":"9783540319719"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11547662_18","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:36:20Z","timestamp":1127831780000},"page":"251-267","source":"Crossref","is-referenced-by-count":3,"title":["Finding Basic Block and Variable Correspondence"],"prefix":"10.1007","author":[{"given":"Iman","family":"Narasamdya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Voronkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Alpern, B., Wegman, M.N., Zadeck, F.K.: Detecting equality of variables in programs. In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages (POPL 1988), pp. 1\u201311 (1988)","DOI":"10.1145\/73560.73561"},{"key":"18_CR2","unstructured":"Fang, Y.: Personal communication over emails (2005)"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1145\/964001.964030","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL)","author":"S. Gulwani","year":"2004","unstructured":"Gulwani, S., Necula, G.C.: Global value numbering using random interpretation. In: Jones, N.D., Leroy, X. (eds.) Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL), pp. 342\u2013352. ACM Press, New York (2004)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Jaramillo, C., Gupta, R., Soffa, M.L.: Capturing the effects of code improving transformations. In: IEEE PACT, pp. 118\u2013123 (1998)","DOI":"10.1109\/PACT.1998.727181"},{"key":"18_CR5","volume-title":"Optimizing compilers for modern architectures: a dependence-based approach","author":"K. Kennedy","year":"2002","unstructured":"Kennedy, K., Allen, J.R.: Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco (2002)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Translation validation for an optimizing compiler. In: Proceedings of the ACM SIGPLAN Conference on Principles of Programming Languages Design and Implementation (PLDI), June 2000, pp. 83\u201395 (2000)","DOI":"10.1145\/349299.349314"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0054170","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Pnueli","year":"1998","unstructured":"Pnueli, A., Siegel, M., Singerman, E.: Translation validation. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol.\u00a01384, p. 151. Springer, Heidelberg (1998)"},{"issue":"4","key":"18_CR8","first-page":"1","volume":"70","author":"A. Pnueli","year":"2002","unstructured":"Pnueli, A., Zuck, L., Fang, Y., Goldberg, B., Hu, Y.: Translation and run-time validation of optimized code. ENTCS\u00a070(4), 1\u201322 (2002)","journal-title":"ENTCS"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/964001.964002","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"X. Rival","year":"2004","unstructured":"Rival, X.: Symbolic transfer function-based approaches to certified compilation. In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 1\u201313. ACM Press, New York (2004)"},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/3-540-45245-1_15","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems","author":"R. Engelen van","year":"2001","unstructured":"van Engelen, R., Whalley, D.B., Yuan, X.: Automatic validation of code-improving transformations. In: Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, pp. 206\u2013210. Springer, Heidelberg (2001)"},{"issue":"3","key":"18_CR11","first-page":"223","volume":"9","author":"L. Zuck","year":"2003","unstructured":"Zuck, L., Pnueli, A., Fang, Y., Goldberg, B.: Voc: A methodology for the translation validation of optimizing compilers. j-jucs\u00a09(3), 223\u2013247 (2003)","journal-title":"j-jucs"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11547662_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:57:52Z","timestamp":1619506672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11547662_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285847","9783540319719"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11547662_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}