{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:01:12Z","timestamp":1725440472525},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/comcomap.2014.7017210","type":"proceedings-article","created":{"date-parts":[[2015,1,24]],"date-time":"2015-01-24T02:25:09Z","timestamp":1422066309000},"page":"276-282","source":"Crossref","is-referenced-by-count":0,"title":["Termination analysis with recursive calling graphs"],"prefix":"10.1109","author":[{"family":"Teng Long","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Wenhui Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"17","DOI":"10.1007\/11817963_36"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1007\/11737414_14"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.2168\/LMCS-5(2:8)2009"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1007\/978-3-642-23702-7_22"},{"key":"14","article-title":"Bound analysis of imperative programs with the size-change abstraction (extended version)","author":"zuleger","year":"2012","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1007\/11562931_25"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.2168\/LMCS-7(3:4)2011"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1007\/978-3-642-02658-4_12"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/1353445.1353450"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/360204.360210"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/978-3-642-15769-1_8"},{"key":"7","first-page":"518","article-title":"A termination test for logic programs","author":"sagiv","year":"1991","journal-title":"ISLP"},{"key":"6","first-page":"122","article-title":"Affine-based size-change termination","author":"anderson","year":"2003","journal-title":"APLAS"},{"key":"5","first-page":"5","article-title":"Properties of programs and partial function logic","author":"manna","year":"1970","journal-title":"Machine Intelligence"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/978-3-642-36742-7_4"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1145\/1709093.1709095"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/978-3-540-78800-3_16"}],"event":{"name":"2014 IEEE Computing, Communications and IT Applications Conference (ComComAp)","start":{"date-parts":[[2014,10,20]]},"location":"Beijing, China","end":{"date-parts":[[2014,10,22]]}},"container-title":["2014 IEEE Computers, Communications and IT Applications Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7001758\/7017159\/07017210.pdf?arnumber=7017210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T01:51:52Z","timestamp":1490320312000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7017210\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/comcomap.2014.7017210","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}