{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:28:35Z","timestamp":1725618515746},"reference-count":14,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/scam.2003.1238027","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"page":"13-21","source":"Crossref","is-referenced-by-count":3,"title":["Improving the static analysis of loops by dynamic partitioning techniques"],"prefix":"10.1109","author":[{"given":"M.","family":"Martel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_15"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49727-7_12"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48294-6_3","article-title":"Dynamic partitioning in analyses of numerical properties","author":"jeannet","year":"1999","journal-title":"Static Analysis Symposium SAS'99"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_14"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45789-5_6"},{"key":"ref4","article-title":"Semantics foundations of program analysis","author":"cousot","year":"1981","journal-title":"Program Flow Analysis Theory and Applications chapter 10"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.1998.727269"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96725"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.511"},{"key":"ref2","article-title":"Sémantique des langages impératifs eratifs d'ordre supérieur et interprétation abstraite","author":"bourdoncle","year":"1992","journal-title":"Ecole Polytechnique"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000496"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47764-0_14","article-title":"Static analyses of the precision of floating-point operations","author":"goubault","year":"2001","journal-title":"Static Analysis Symposium SAS'01"}],"event":{"name":"Third IEEE International Workshop on Source Code Analysis and Manipulation.","acronym":"SCAM-03","location":"Amsterdam, Netherlands"},"container-title":["Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8773\/27776\/01238027.pdf?arnumber=1238027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T08:56:23Z","timestamp":1585644983000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1238027\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/scam.2003.1238027","relation":{},"subject":[]}}