{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:38:15Z","timestamp":1775054295733,"version":"3.50.1"},"reference-count":12,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,5,1]],"date-time":"2011-05-01T00:00:00Z","timestamp":1304208000000},"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":[[2011,5]]},"DOI":"10.1134\/s0361768811030030","type":"journal-article","created":{"date-parts":[[2011,5,23]],"date-time":"2011-05-23T19:48:10Z","timestamp":1306180090000},"page":"161-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Simulation of operational semantics of machine instructions"],"prefix":"10.1134","volume":"37","author":[{"given":"V. A.","family":"Padaryan","sequence":"first","affiliation":[]},{"given":"M. A.","family":"Solov\u2019ev","sequence":"additional","affiliation":[]},{"given":"A. I.","family":"Kononov","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2011,5,25]]},"reference":[{"key":"6103_CR1","series-title":"Tech. Rep.","volume-title":"A Taxonomy of Obfuscating Transformations","author":"C. Collberg","year":"1997","unstructured":"Collberg, C., Thomborson, C., and Low, D., A Taxonomy of Obfuscating Transformations, 1997, Univ. of Auckland, New Zealand, Tech. Rep. no. 148."},{"key":"6103_CR2","volume-title":"Software Tamper Resistance: Obstructing Static Analysis of Programs","author":"C. Wang","year":"2000","unstructured":"Wang, C., Hill, J., Knight, J., and Davidson, J., Software Tamper Resistance: Obstructing Static Analysis of Programs, 2000, Univ. of Virginia, USA, Tech. Rep."},{"key":"6103_CR3","first-page":"51","volume":"16","author":"V.A. Padaryan","year":"2009","unstructured":"Padaryan, V.A., Get\u2019man, A.I., and Solov\u2019ev, M.A., Program Environment for Dynamic Analysis of Binary Code, Trudy Inst. Sist. Prog., 2009, vol. 16, pp. 51\u201372.","journal-title":"Trudy Inst. Sist. Prog."},{"issue":"3","key":"6103_CR4","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B. Korel","year":"1988","unstructured":"Korel, B. and Laski, J., Dynamic Program Slicing., Inf. Process. Lett., 1988, vol. 29, no. 3, pp. 155\u2013163.","journal-title":"Inf. Process. Lett."},{"key":"6103_CR5","unstructured":"Korel, B. and Smith, R., Slicing Event Traces of Large Software Systems, in Automated and Algorithmic Debugging, 2000."},{"key":"6103_CR6","unstructured":"Muchnick, S.S., Advanced Compiler Design and Implementation, Morgan Kaufmann, 1997."},{"key":"6103_CR7","unstructured":"GNU Compiler Collection, http:\/\/gcc.gnu.org\/."},{"key":"6103_CR8","doi-asserted-by":"crossref","unstructured":"Nethercote, N. and Seward, J., Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation, Proc. of the ACM SIGPLAN 2007 Conf. on Programming Language Design and Implementation (PLDI 2007), San Diego, June 2007.","DOI":"10.1145\/1250734.1250746"},{"key":"6103_CR9","doi-asserted-by":"crossref","unstructured":"Bhansali, S., Chen, W.-K., de Jong, S., Edwards, A., Murray, R., Drinic, M., Mihocka, D., and Chau, J., Framework for Instruction-Level Tracing and Analysis of Program Executions, Microsoft Corporation, 2006, pp. 154\u2013163.","DOI":"10.1145\/1134760.1220164"},{"key":"6103_CR10","unstructured":"Cifuentes, C., Van Emmerik, M.J., Ramsey, N., and Lewis, B., Experience in the Design, Implementation and Use of a Retargetable Static Binary Translation Framework, Tech. Rep. SMLI TR-2002-105, Sun Microsystems, January, 2002."},{"key":"6103_CR11","unstructured":"Cifuentes, C., Lewis, B., and Ung, D., Walkabout\u2014a Retargetable Dynamic Binary Translation Framework, Tech. Rep., Sun Microsystems, 2002."},{"key":"6103_CR12","unstructured":"Low-Level Virtual Machine, http:\/\/www.llvm.org."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768811030030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768811030030","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768811030030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768811030030.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:57:37Z","timestamp":1775012257000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768811030030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":12,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["6103"],"URL":"https:\/\/doi.org\/10.1134\/s0361768811030030","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,5]]},"assertion":[{"value":"3 September 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2011","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}