{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:22:14Z","timestamp":1740169334019,"version":"3.37.3"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"University of Novi Sad, through the Ministry of Science, Technological Development and Innovation of the Republic of Serbia","award":["451-03-66\/2024-03\/200125","451-03-65\/2024-03\/200125"],"award-info":[{"award-number":["451-03-66\/2024-03\/200125","451-03-65\/2024-03\/200125"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/access.2024.3389500","type":"journal-article","created":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T17:36:50Z","timestamp":1713202610000},"page":"56847-56859","source":"Crossref","is-referenced-by-count":0,"title":["Climbing the Hill to Understand the Code"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3428-3470","authenticated-orcid":false,"given":"Doni","family":"Pracner","sequence":"first","affiliation":[{"name":"Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Novi Sad, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7127-3311","authenticated-orcid":false,"given":"Martin P.","family":"Ward","sequence":"additional","affiliation":[{"name":"Software Migrations Ltd., St. Albans, Hertfordshire, U.K"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4701-9289","authenticated-orcid":false,"given":"Nata\u0161a","family":"Sukur","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Novi Sad, Serbia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoran","family":"Budimac","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Novi Sad, Serbia (Deceased)"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.03.007"},{"key":"ref2","article-title":"Language specification and compiler construction","volume-title":"Handouts for the Course","author":"M\u00f6ssenb\u00f6ck","year":"2024"},{"article-title":"Reverse compilation techniques","year":"1994","author":"Cifuentes","key":"ref3"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738514"},{"key":"ref5","first-page":"353","article-title":"Native x86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring","volume-title":"Proc. USENIX Security Symp.","author":"Schwartz"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_37"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23185"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110645"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859059"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3360004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2874648"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00033"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18023-1_6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR-WCRE.2014.6747217"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0270-z"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0358-0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/smr.4360070305"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2013.6648196"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/359046.359057"},{"key":"ref23","first-page":"211","article-title":"Transformation of recursive procedures","volume-title":"Tools and Notations for Program Construction","author":"Arsac","year":"1982"},{"key":"ref24","first-page":"71","article-title":"Transforming low-level languages using FermaT and WSL","volume-title":"Proc. 2nd Workshop Softw. Quality Anal., Monitor., Improvement, Appl.","volume":"1053","author":"Pracner"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1857"},{"article-title":"A wide spectrum type system for transformation theory","year":"2009","author":"Ladkau","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3382494.3410636"},{"volume-title":"80286 Programmer\u2019s Reference Manual","year":"1987","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-12410-8"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/4235.585893"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"ref32","first-page":"17:01","article-title":"Fitness functions and transformations in an automated process","volume-title":"Proc. 8th Workshop Softw. Qual., Anal., Monitor., Improvement, Appl. (SQAMIA)","author":"Sukur"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/c2011-0-06993-4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.1.3.190"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-023-08559-1"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10380310\/10500369.pdf?arnumber=10500369","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T19:01:38Z","timestamp":1714762898000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10500369\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/access.2024.3389500","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2024]]}}}