{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:07:13Z","timestamp":1775052433102,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540665380","type":"print"},{"value":"9783540481669","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","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":[[1999]]},"DOI":"10.1007\/3-540-48166-4_17","type":"book-chapter","created":{"date-parts":[[2007,8,9]],"date-time":"2007-08-09T00:59:20Z","timestamp":1186621160000},"page":"268-284","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Comparison Checking: An Approach to Avoid Debugging of Optimized Code"],"prefix":"10.1007","author":[{"given":"Clara","family":"Jaramillo","sequence":"first","affiliation":[]},{"given":"Rajiv","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Mary Lou","family":"Soffa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Abramson, D. and Sosic, R. A Debugging Tool for Software Evolution. CASE-95, 7th International Workshop on Computer-Aided Software Engineering, pages 206\u2013214, July 1995.","DOI":"10.1109\/CASE.1995.465313"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BF00132573","volume":"3","author":"D. Abramson","year":"1996","unstructured":"Abramson, D. and Sosic, R. A Debugging and Testing Tool for Supporting Software Evolution. Journal of Automated Software Engineering, 3:369\u2013390, 1996.","journal-title":"Journal of Automated Software Engineering"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Adl-Tabatabai, A. and Gross, T. Source-Level Debugging of Scalar Optimized Code. In Proceedings ACM SIGPLAN\u201996 Conf. on Programming Languages Design and Implementation, pages 33\u201343, May 1996.","DOI":"10.1145\/249069.231388"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Brooks, G., Hansen, G.J., and Simmons, S. A New Approach to Debugging Optimized Code. In Proceedings ACM SIGPLAN\u201992 Conf. on Programming Languages Design and Implementation, pages 1\u201311, June 1992.","DOI":"10.1145\/143103.143108"},{"key":"17_CR5","unstructured":"Copperman, M. Debugging Optimized Code: Currency Determination with Data Flow. In Proceedings Supercomputer Debugging Workshop\u2019 92, October 1992."},{"issue":"3","key":"17_CR6","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1145\/177492.177517","volume":"16","author":"M. Copperman","year":"1994","unstructured":"Copperman, M. Debugging Optimized Code Without Being Misled. ACM Transactions on Programming Languages and Systems, 16(3):387\u2013427, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Coutant, D.S., Meloy, S., and Ruscetta, M. DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code. In Proceedings ACM SIGPLAN\u201988 Conf. on Programming Languages Design and Implementation, pages 125\u2013134, June 1988.","DOI":"10.1145\/960116.54003"},{"issue":"6","key":"17_CR8","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1145\/295656.295657","volume":"20","author":"D. M. Dhamdhere","year":"1998","unstructured":"Dhamdhere, D. M. and Sankaranarayanan, K. V. Dynamic Currency Determina-tion in Optimized Programs. ACM Transactions on Programming Languages and Systems, 20(6):1111\u20131130, November 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR9","unstructured":"Fraser, C. and Hanson, D. A Retargetable C Compiler: Design and Implementation. Benjamin\/Cummings, 1995."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Fritzson, P. A Systematic Approach to Advanced Debugging through Incremental Compilation. In Proceedings ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on High-Level Debugging, pages 130\u2013139, 1983.","DOI":"10.1145\/1006140.1006177"},{"key":"17_CR11","unstructured":"Gross, T. Bisection Debugging. In Proceedings of the AADEBUG\u201997 Workshop, pages 185\u2013191, May, 1997."},{"issue":"3","key":"17_CR12","first-page":"141","volume":"11","author":"R. Gupta","year":"1990","unstructured":"Gupta, R. Debugging Code Reorganized by a Trace Scheduling Compiler. Structured Programming, 11(3):141\u2013150, 1990.","journal-title":"Structured Programming"},{"issue":"3","key":"17_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/357172.357173","volume":"4","author":"J. Hennessy","year":"1982","unstructured":"Hennessy, J. Symbolic Debugging of Optimized Code. ACM Transactions on Programming Languages and Systems, 4(3):323\u2013344, July 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Holzle, U., Chambers, C., and Ungar, D. Debugging Optimized Code with Dynamic Deoptimization. In Proceedings ACM SIGPLAN\u201992 Conf. on Programming Languages Design and Implementation, pages 32\u201343, June 1992.","DOI":"10.1145\/143103.143114"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Jaramillo, C. Debugging of Optimized Code Through Comparison Checking. PhD dissertation, University of Pittburgh, 1999.","DOI":"10.1145\/318774.318947"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Jaramillo, C., Gupta, R., and Soffa, M.L. Capturing the Effects of Code Improving Transformations. In Proceedings of International Conference on Parallel Architectures and Compilation Techniques, pages 118\u2013123, October 1998.","DOI":"10.1109\/PACT.1998.727181"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Kessler, P. Fast Breakpoints: Design and Implementation. In Proceedings ACM SIGPLAN\u201990 Conf. on Programming Languages Design and Implementation, pages 78\u201384, 1990.","DOI":"10.1145\/93548.93555"},{"issue":"4","key":"17_CR18","first-page":"103","volume":"26","author":"P.P. Pineo","year":"1991","unstructured":"Pineo, P.P. and Soffa, M.L. Debugging Parallelized Code using Code Liberation Techniques. Proceedings of ACM\/ONR SIGPLAN Workshop on Parallel and Distributed Debugging, 26(4):103\u2013114, May 1991.","journal-title":"Proceedings of ACM\/ONR SIGPLAN Workshop on Parallel and Distributed Debugging"},{"key":"17_CR19","first-page":"524","volume":"2","author":"L.L. Pollock","year":"1988","unstructured":"Pollock, L.L. and Soffa, M.L. High-Level Debugging with the Aid of an Incremental Optimizer. In 21st Annual Hawaii International Conference on System Sciences, volume 2, pages 524\u2013531, January 1988.","journal-title":"21st Annual Hawaii International Conference on System Sciences"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Seidner, R. and Tindall, N. Interactive Debug Requirements. In Proceedings ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on High-Level Debugging, pages 9\u201322, 1983.","DOI":"10.1145\/1006140.1006151"},{"issue":"2","key":"17_CR21","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1002\/(SICI)1097-024X(199702)27:2<185::AID-SPE79>3.0.CO;2-D","volume":"27","author":"R. Sosic","year":"1997","unstructured":"Sosic, R. and Abramson, D. A. Guard: A Relative Debugger. Software Practice and Experience, 27(2):185\u2013206, February 1997.","journal-title":"Software Practice and Experience"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Tice, C. and Graham, S.L. OPTVIEW: A New Approach for Examining Optimized Code. Proceedings of ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, June 1998.","DOI":"10.1145\/277631.277636"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Wismueller, R. Debugging of Globally Optimized Programs Using Data Flow Analysis. In Proceedings ACM SIGPLAN\u201994 Conf. on Programming Languages Design and Implementation, pages 278\u2013289, June 1994.","DOI":"10.1145\/773473.178430"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Wu, L., Mirani, R., Patil H., Olsen, B., and Hwu, W.W. A New Framework for Debugging Globally Optimized Code. In Proceedings ACM SIGPLAN\u201999 Conf. on Programming Languages Design and Implementation, pages 181\u2013191, 1999.","DOI":"10.1145\/301631.301663"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Zellweger, P.T. An Interactive High-Level Debugger for Control-Flow Optimized Programs. In Proceedings ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on High-Level Debugging, pages 159\u2013171, 1983.","DOI":"10.1145\/1006142.1006183"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE \u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48166-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:03:44Z","timestamp":1737353024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48166-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665380","9783540481669"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-48166-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}