{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T01:16:03Z","timestamp":1752282963858},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/icpc.2009.5090054","type":"proceedings-article","created":{"date-parts":[[2009,6,28]],"date-time":"2009-06-28T22:22:27Z","timestamp":1246227747000},"page":"263-267","source":"Crossref","is-referenced-by-count":3,"title":["Profile-based type reconstruction for decompilation"],"prefix":"10.1109","author":[{"given":"K.","family":"Troshina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Chernov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Fokin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"749","article-title":"dynamic inference of abstruct types","author":"cuo","year":"2006","journal-title":"Proc ISSSTA"},{"key":"2","first-page":"90","article-title":"run-time type checking for binary programs","author":"burroes","year":"2003","journal-title":"Proc of CCC"},{"year":"0","key":"1"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2001.957844"},{"journal-title":"Advanced Compiler Design and Implementation","year":"1997","author":"muchnick","key":"4"}],"event":{"name":"2009 IEEE 17th International Conference on Program Comprehension (ICPC)","start":{"date-parts":[[2009,5,17]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2009,5,19]]}},"container-title":["2009 IEEE 17th International Conference on Program Comprehension"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5073941\/5090011\/05090054.pdf?arnumber=5090054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T00:56:09Z","timestamp":1489798569000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5090054\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/icpc.2009.5090054","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}