{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:03:07Z","timestamp":1775055787653,"version":"3.50.1"},"reference-count":15,"publisher":"Pleiades Publishing Ltd","issue":"2","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1134\/s0361768809020066","type":"journal-article","created":{"date-parts":[[2009,3,30]],"date-time":"2009-03-30T13:20:25Z","timestamp":1238419225000},"page":"105-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Automatic reconstruction of data types in the decompilation problem"],"prefix":"10.1134","volume":"35","author":[{"given":"E. N.","family":"Dolgova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V.","family":"Chernov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2009,3,29]]},"reference":[{"key":"2006_CR1","unstructured":"GrammaTech Codesurfer, http:\/\/www.gramma-tech.com\/products\/codesurfer\/."},{"key":"2006_CR2","unstructured":"Hex-Rays Decompiler SDK, http:\/\/www.hex-rays.com\/."},{"key":"2006_CR3","volume-title":"Iskusstvo dizassemblirovaniya","author":"K. Kaspersky","year":"2008","unstructured":"Kaspersky, K., Iskusstvo dizassemblirovaniya (The Art of Disassembling), St. Petersburg: BKhV, 2008."},{"key":"2006_CR4","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S., Advanced Compiler Design and Implementation, San Francisco, Calif.: Kaufmann, 1997."},{"key":"2006_CR5","unstructured":"IDA-pro Interactive Disassembler, http:\/\/www.idapro.ru\/."},{"key":"2006_CR6","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/3-540-49099-X_14","volume":"1576","author":"A. Mycroft","year":"1999","unstructured":"Mycroft, A., Type-Based Decompilation, in 8th European Symp. on Programming Languages and Systems, Lect Notes Comput.Sci., 1999, vol. 1576, pp. 208\u2013223.","journal-title":"8th European Symp. on Programming Languages and Systems, Lect Notes Comput.Sci."},{"key":"2006_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69738-1_1","volume":"4349","author":"G. Balakrishnan","year":"2007","unstructured":"Balakrishnan, G. and Reps, T., DIVINE: Discovering Variables in Executables, Verification, Model Checking Abstract Interpretation, 2007, vol. 4349, pp. 1\u201328.","journal-title":"Verification, Model Checking Abstract Interpretation"},{"key":"2006_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-24723-4_2","volume":"2985","author":"G. Balakrishnan","year":"2004","unstructured":"Balakrishnan, G. and Reps, T., Analyzing Memory Accesses in x86 Executables, Compiler Construction, 2004, vol. 2985, pp. 5\u201323.","journal-title":"Compiler Construction"},{"key":"2006_CR9","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-78791-4_2","volume":"4959","author":"G. Balakrishnan","year":"2008","unstructured":"Balakrishnan, G. and Reps, T., Improved Memory-Accesses Analysis in x86 Executables, Compiler Construction, 2008, vol. 4959, pp. 16\u201335.","journal-title":"Compiler Construction"},{"key":"2006_CR10","doi-asserted-by":"crossref","unstructured":"Blume, W. and Eigenmann, R., Demand-driven, Symbolic Range Propagation, in Proc. of the 8th Workshop on Languages and Compilers for Parallel Computing, Springer, 1995, pp. 141\u2013160.","DOI":"10.1007\/BFb0014197"},{"key":"2006_CR11","unstructured":"Cifuentes, C. and Fraboulet, A., Interprocedural Static Data Flow Recovery of High-Level Language Code from Assembly, Technical Report of Department of Computer Science and Electrical Engineering, Queensland University, Brisbane, Australia, 1997, No. 421."},{"key":"2006_CR12","doi-asserted-by":"crossref","unstructured":"Cifuentes, C., Simon, D., and Fraboulet, A., Assembly to High-Level Language Translation, in Int. Conf. on Software Maintenance, 1998, pp. 228\u2013237.","DOI":"10.1109\/ICSM.1998.738514"},{"key":"2006_CR13","unstructured":"Cifuentes, C., Emmerik, M., Lewis, B., and Ramsey, N., Experience in the Design, Implementation, and Use of a Retargetable Static Binary Translation Framework, Technical Report of Sun Microsystems Laboratories of Sun Microsystems, Palo Alto, Calif., 2002, no. SMLI TR-2002-105."},{"key":"2006_CR14","unstructured":"ISO\/IEC 9899-1999. Programming Languages-C, Geneva: ISO, 1999."},{"key":"2006_CR15","volume-title":"Assembler dlya DOS, Windows i UNIX dlya programmistov","author":"S. Zubkov","year":"2005","unstructured":"Zubkov, S. Assembler dlya DOS, Windows i UNIX dlya programmistov (Assembler for DOS, Windows, and UNIX for Programmers), St. Petersburg: Piter, 2005."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768809020066.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768809020066","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768809020066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768809020066.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:01:55Z","timestamp":1775008915000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768809020066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["2006"],"URL":"https:\/\/doi.org\/10.1134\/s0361768809020066","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]},"assertion":[{"value":"12 September 2008","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 March 2009","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}