{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T11:15:59Z","timestamp":1723634159499},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542253","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:56Z","timestamp":1471292936000},"source":"Crossref","is-referenced-by-count":34,"title":["Compositional recurrence analysis"],"prefix":"10.1109","author":[{"given":"Azadeh","family":"Farzan","sequence":"first","affiliation":[]},{"given":"Zachary","family":"Kincaid","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322273"},{"key":"ref31","first-page":"189","author":"sharir","year":"1981","journal-title":"Two approaches to interprocedural data flow analysis"},{"key":"ref30","author":"schrijver","year":"1986","journal-title":"Theory of Linear and Integer Programming"},{"key":"ref10","article-title":"An algebraic framework for compositional program analysis","author":"farzan","year":"2013","journal-title":"CoRR abs\/1310 3481"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36206-1_14"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535843"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_18"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_26"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_10"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535857"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/27632.27649"},{"key":"ref4","first-page":"661","article-title":"Apron: A library of numerical abstract domains for static analysis","author":"bertrand","year":"2009","journal-title":"CAV"},{"key":"ref27","first-page":"266","article-title":"Automatic generation of polynomial loop invariants: Algebraic foundations","author":"rodr\u00edguez-carbonell","year":"2004","journal-title":"Issac"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_35"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58179-0_43"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71229-9_14"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_16"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27864-1_22"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676979"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.09.002"},{"key":"ref9","first-page":"337","article-title":"Z3: an efficient SMT solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93583"},{"key":"ref20","first-page":"348","article-title":"Symbolic methods to enhance the precision of numerical abstract domains","author":"min\u00e9","year":"2006","journal-title":"VMCAI"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_51"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480899"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45937-5_16"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/964001.964029","article-title":"Precise interprocedural analysis through linear algebra","author":"m\u00fcller-olm","year":"2004","journal-title":"POPL"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_21"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77505-8_26"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","location":"Austin, TX, USA","start":{"date-parts":[[2015,9,27]]},"end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542253.pdf?arnumber=7542253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T00:39:32Z","timestamp":1657067972000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542253\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":32,"URL":"http:\/\/dx.doi.org\/10.1109\/fmcad.2015.7542253","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}
