{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:28:47Z","timestamp":1725564527173},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540230359"},{"type":"electronic","value":"9783540301134"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30113-4_8","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T23:33:56Z","timestamp":1283816036000},"page":"92-106","source":"Crossref","is-referenced-by-count":0,"title":["Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Johnstone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth","family":"Scott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1613","DOI":"10.1145\/186025.186093","volume":"16","author":"P.T. Breuer","year":"1994","unstructured":"Breuer, P.T., Bowen, J.P.: Decompilation: the enumeration of types and grammars. Transactions on Programming Languages and Systems\u00a016(5), 1613\u20131648 (1994)","journal-title":"Transactions on Programming Languages and Systems"},{"issue":"7","key":"8_CR2","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1002\/spe.4380250706","volume":"25","author":"C. Cifuentes","year":"1995","unstructured":"Cifuentes, C., Gough, K.J.: Decompilation of binary programs. Software \u2014 Practice and Experience\u00a025(7), 811\u2013829 (1995)","journal-title":"Software \u2014 Practice and Experience"},{"key":"8_CR3","unstructured":"Cifuentes, C.: Reverse compilation techniques. PhD thesis, Queensland University of Technology (July 1994)"},{"key":"8_CR4","volume-title":"Proc. Internat. Conference on Software Maintenance","author":"L. Freeman","year":"1999","unstructured":"Freeman, L., Cifuentes, C.: An industry perspective on decompilation. In: Proc. Internat. Conference on Software Maintenance, IEEE, Los Alamitos (1999)"},{"issue":"4","key":"8_CR5","first-page":"10","volume":"14","author":"C. Fuan","year":"1993","unstructured":"Fuan, C., Zongtian, L., Li, L.: Design and implementation techniques of the 8086 C decompiling system. Mini-micro systems\u00a014(4), 10\u201318 (1993)","journal-title":"Mini-micro systems"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Johnstone, A., Scott, E.: rdp \u2013 an iterator based recursive descent parser generator with tree promotion operators. SIGPLAN notices 33(9) (September 1998)","DOI":"10.1145\/290229.290240"},{"key":"8_CR7","volume-title":"Proc. Internat. Conference on Software Maintenance","author":"A. Johnstone","year":"1999","unstructured":"Johnstone, A., Scott, E., Womack, T.: Reverse compilation of Digital Signal Processor assembler source to ANSI-C. In: Proc. Internat. Conference on Software Maintenance, IEEE, Los Alamitos (1999)"},{"key":"8_CR8","volume-title":"Proc 33. Hawaii Intnl. Conf. Sys. Sci.","author":"A. Johnstone","year":"2000","unstructured":"Johnstone, A., Scott, E., Womack, T.: Reverse compilation for Digital Signal Processors: a working example. In: Proc 33. Hawaii Intnl. Conf. Sys. Sci., IEEE, Los Alamitos (2000)"},{"key":"8_CR9","volume-title":"Proc. 4th Eur. Conf. Soft. Maint. & Reengineering","author":"A. Johnstone","year":"2000","unstructured":"Johnstone, A., Scott, E., Womack, T.: What assembly language programmers get up to: control flow challenges in reverse compilation. In: Proc. 4th Eur. Conf. Soft. Maint. & Reengineering, IEEE, Los Alamitos (2000)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-49099-X_14","volume-title":"Programming Languages and Systems","author":"A. Mycroft","year":"1999","unstructured":"Mycroft, A.: Type-based decompilation. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 208\u2013223. Springer, Heidelberg (1999)"},{"key":"8_CR11","first-page":"228","volume-title":"Working Conference on Reverse Engineering","author":"M. Probst","year":"2002","unstructured":"Probst, M., Krall, A., Scholz, B.: Register liveness analysis for optimizing binary translation. In: Working Conference on Reverse Engineering, October 2002, pp. 228\u2013235. IEEE Computer Society, Los Alamitos (2002), also at \n                    \n                      http:\/\/www.complang.tuwien.ac.at\/cd\/wcre02.pdf"},{"issue":"2","key":"8_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1002\/spe.4380190205","volume":"19","author":"S.E. Richardson","year":"1989","unstructured":"Richardson, S.E., Ganapathi, M.: Interprocedural optimization: experimental results. Software Practice and Experience\u00a019(2), 149\u2013169 (1989)","journal-title":"Software Practice and Experience"},{"issue":"3\/4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0096-0551(80)90007-7","volume":"5","author":"M. Sharir","year":"1980","unstructured":"Sharir, M.: Structural analysis: a new approach to flow analysis in optimising compilers. Computer Languages\u00a05(3\/4), 141\u2013153 (1980)","journal-title":"Computer Languages"},{"issue":"4","key":"8_CR14","first-page":"137","volume":"4","author":"R.L. Sites","year":"1992","unstructured":"Sites, R.L.: Binary translation. Digital Technical Journal\u00a04(4), 137\u2013152 (1992)","journal-title":"Digital Technical Journal"},{"issue":"4","key":"8_CR15","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/567097.567099","volume":"24","author":"M.G.J. Brand van den","year":"2002","unstructured":"van den Brand, M.G.J., Heering, J., Klint, P., Olivier, P.A.: Compiling language definitions: the ASF+SDF compiler. ACM Transactions on Programming Languages and Systems\u00a024(4), 334\u2013368 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR16","volume-title":"International Conference on Software Maintenance","author":"M. Ward","year":"2001","unstructured":"Ward, M.: The fermat assembler re-engineering workbench. In: International Conference on Software Maintenance, November 2001, IEEE Computer Society, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30113-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:45:59Z","timestamp":1619999159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30113-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230359","9783540301134"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30113-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}