{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:29:33Z","timestamp":1775017773870,"version":"3.50.1"},"reference-count":9,"publisher":"Pleiades Publishing Ltd","issue":"7","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"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":[[2019,12]]},"DOI":"10.1134\/s0361768819070065","type":"journal-article","created":{"date-parts":[[2019,12,16]],"date-time":"2019-12-16T11:02:45Z","timestamp":1576494165000},"page":"390-397","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Generation of Machine Instruction Decoders"],"prefix":"10.1134","volume":"45","author":[{"given":"N. Yu.","family":"Fokina","sequence":"first","affiliation":[]},{"given":"M. A.","family":"Solovev","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2019,12,16]]},"reference":[{"key":"7084_CR1","unstructured":"Ramsey, N. and Fernandez, M.F., The New Jersey machine-code toolkit, Proc. of the USENIX Technical Conference, 1995, pp. 289\u2013302."},{"key":"7084_CR2","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1145\/256167.256225","volume":"19","author":"N. Ramsey","year":"1997","unstructured":"Ramsey, N. and Fernandez, M.F., Specifying representations of machine instructions, ACM Trans. Program. Lang. Syst., 1997, vol. 19, no. 3, pp. 492\u2013524.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7084_CR3","unstructured":"Hsieh, W.C., Engler, D.R., and Back, G., Reverse-engineering instruction encodings, Proc. of the General Track: 2002 USENIX Annual Technical Conference, 2001, pp. 133\u2013145."},{"issue":"5","key":"7084_CR4","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/258916.258922","volume":"32","author":"Christian S. Collberg","year":"1997","unstructured":"Collberg, C.S., Reverse interpretation + mutation analysis = automatic retargeting, Proc. of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation, 1997, pp. 57\u201370.","journal-title":"ACM SIGPLAN Notices"},{"key":"7084_CR5","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1145\/567097.567100","volume":"24","author":"C.S. Collberg","year":"2002","unstructured":"Collberg, C.S., Automatic derivation of compiler machine descriptions, ACM Trans. Program. Lang. Syst., 2002, vol. 24, no. 4, pp. 369\u2013408.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"7084_CR6","first-page":"143","volume":"9","author":"V.V. Rubanov","year":"2006","unstructured":"Rubanov, V.V. and Mikheev, A.S., An integrated environment for describing the system of instructions of embedded processors, Trudy ISP RAN, 2006, vol.\u00a09, pp. 143\u2013158.","journal-title":"Trudy ISP RAN"},{"key":"7084_CR7","volume-title":"Efficient Software Decoder Design","author":"R. Krishna","year":"2001","unstructured":"Krishna, R. and Austin, T., Efficient Software Decoder Design, IEEE Computer Society Technical Committee on Computer Architecture Newsletter, 2001."},{"issue":"8","key":"7084_CR8","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/384196.384213","volume":"36","author":"Henrik Theiling","year":"2001","unstructured":"Theiling, H., Generating decision trees for decoding binaries, Proc. of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 2001, pp. 112\u2013120.","journal-title":"ACM SIGPLAN Notices"},{"key":"7084_CR9","doi-asserted-by":"crossref","unstructured":"Qin, W. and Malik, S., Automated synthesis of efficient binary decoders for retargetable software toolkits, Proc. of the 40th Annual Design Automation Conference, 2003, pp. 764\u2013769.","DOI":"10.1145\/775832.776027"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768819070065.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768819070065","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768819070065.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:48:16Z","timestamp":1775011696000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768819070065"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":9,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["7084"],"URL":"https:\/\/doi.org\/10.1134\/s0361768819070065","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,12]]},"assertion":[{"value":"13 February 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 February 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 December 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}