{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:13Z","timestamp":1725558973638},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254119"},{"type":"electronic","value":"9783540319856"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31985-6_2","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T18:53:19Z","timestamp":1278874399000},"page":"10-26","source":"Crossref","is-referenced-by-count":7,"title":["Source-Level Debugging for Multiple Languages with Modest Programming Effort"],"prefix":"10.1007","author":[{"given":"Sukyoung","family":"Ryu","sequence":"first","affiliation":[]},{"given":"Norman","family":"Ramsey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Compilers, Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"2_CR2","volume-title":"Modern Compiler Implementation","author":"A.W. Appel","year":"1998","unstructured":"Appel, A.W.: Modern Compiler Implementation. Cambridge University Press, Cambridge (1998), Available in three editions: C, Java, and ML"},{"key":"2_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511811432","volume-title":"Modern Compiler Implementation in Java","author":"A.W. Appel","year":"2002","unstructured":"Appel, A.W., Palsberg, J.: Modern Compiler Implementation in Java, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"issue":"7","key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/143095.143108","volume":"27","author":"G. Brooks","year":"1992","unstructured":"Brooks, G., Hansen, G.J., Simmons, S.: A new approach to debugging optimized code. In: Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation; SIGPLAN Notices\u00a027(7), 1\u201311 (1992)","journal-title":"Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, SIGPLAN Notices"},{"issue":"1","key":"2_CR5","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/68210.69226","volume":"24","author":"S.I. Feldman","year":"1988","unstructured":"Feldman, S.I., Brown, C.B.: IGOR: A system for program debugging via reversible execution. In: Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging; SIGPLAN Notices\u00a024(1), 112\u2013123 (1988)","journal-title":"Proceedings of the ACM SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, in SIGPLAN Notices"},{"key":"2_CR6","volume-title":"A Retargetable C Compiler: Design and Implementation","author":"C.W. Fraser","year":"1995","unstructured":"Fraser, C.W., Hanson, D.R.: A Retargetable C Compiler: Design and Implementation. Addison-Wesley, Reading (1995)"},{"unstructured":"Gilmore, J.: GDB internals\u2014a guide to the internals of the GNU debugger, Found in the doc directory of gdb distribution version\u00a05.1.1 (2000)","key":"2_CR7"},{"issue":"11","key":"2_CR8","doi-asserted-by":"publisher","first-page":"1277","DOI":"10.1002\/(SICI)1097-024X(199611)26:11<1277::AID-SPE62>3.0.CO;2-Y","volume":"26","author":"D.R. Hanson","year":"1996","unstructured":"Hanson, D.R., Raghavachari, M.: A machine-independent debugger. Software\u2013Practice and Experience\u00a026(11), 1277\u20131299 (1996)","journal-title":"Software\u2013Practice and Experience"},{"issue":"3","key":"2_CR9","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\u00a04(3), 323\u2013344 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Hosking, A.: The MiniJava compiler (2003), Provided by the author, whose email address is hosking@acm.org","key":"2_CR10"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-48166-4_17","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"C. Jaramillo","year":"1999","unstructured":"Jaramillo, C., Gupta, R., Soffa, M.L.: Comparison checking: An approach to avoid debugging of optimized code. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 268\u2013284. Springer, Heidelberg (1999)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-45099-3_13","volume-title":"Static Analysis","author":"C. Jaramillo","year":"2000","unstructured":"Jaramillo, C., Gupta, R., Soffa, M.L.: FULLDOC: A full reporting debugger for optimized code. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 240\u2013260. Springer, Heidelberg (2000)"},{"unstructured":"Larus, J.: SPIM: A MIPS R2000\/R3000 simulator (2003) http:\/\/www.cs.wisc.edu\/larus\/spim.html","key":"2_CR13"},{"unstructured":"Linton, M.A.: The evolution of Dbx. In: Proceedings of the Summer USENIX Conference, pp. 211\u2013220 (June 1990)","key":"2_CR14"},{"unstructured":"Ramsey, N.: A Retargetable Debugger. PhD thesis, Princeton University. Also technical report CS-TR-403-92 (January 1993)","key":"2_CR15"},{"issue":"7","key":"2_CR16","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/143095.143112","volume":"27","author":"N. Ramsey","year":"1992","unstructured":"Ramsey, N., Hanson, D.R.: A retargetable debugger. In: ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, SIGPLAN Notices\u00a027(7), 22\u201331 (1992)","journal-title":"ACM SIGPLAN \u201992 Conference on Programming Language Design and Implementation, in SIGPLAN Notices"},{"unstructured":"Ryu, S., Ramsey, N.: The ldb interface. Technical Report TR-23-04, Division of Engineering and Applied Sciences, Harvard University (2004)","key":"2_CR17"},{"doi-asserted-by":"crossref","unstructured":"Ryu, S., Ramsey, N.: Source-level debugging for multiple languages with modest programming effort (expanded version). Technical Report TR-01-05, Division of Engineering and Applied Sciences, Harvard University (January 2005)","key":"2_CR18","DOI":"10.1007\/978-3-540-31985-6_2"},{"issue":"7","key":"2_CR19","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/277631.277636","volume":"33","author":"C. Tice","year":"1998","unstructured":"Tice, C., Graham, S.L.: OPTVIEW: A new approach for examining optimized code. In: Proceedings of the 1998 ACM SIGPLAN\/ SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, SIGPLAN Notices\u00a033(7), 19\u201326 (1998)","journal-title":"Proceedings of the 1998 ACM SIGPLAN\/ SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, in SIGPLAN Notices"},{"unstructured":"Tolmach, A.P.: Debugging Standard ML. PhD thesis, Princeton University. Also technical report CS-TR-378-92 (October 1992)","key":"2_CR20"},{"doi-asserted-by":"crossref","unstructured":"Tolmach, A.P., Appel, A.W.: Debugging Standard ML without reverse engineering. In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, pp. 1\u201312 (June 1990)","key":"2_CR21","DOI":"10.1145\/91556.91564"},{"unstructured":"Unix Int\u2019l. DWARF Debugging Information Format. Unix International, Parsippany, NJ (July 1993)","key":"2_CR22"},{"unstructured":"Winterbottom, P.: Acid: A debugger based on a language. In: Proceedings of the Winter 1994 USENIX Conference, pp. 211\u2013222 (1994)","key":"2_CR23"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31985-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:33:10Z","timestamp":1605760390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31985-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254119","9783540319856"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31985-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}