{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:19Z","timestamp":1750307419062,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T00:00:00Z","timestamp":1284508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Artemis Joint Undertaking in the CHARTER project","award":["100039"],"award-info":[{"award-number":["100039"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,9,15]]},"DOI":"10.1145\/1852761.1852776","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T12:04:33Z","timestamp":1285157073000},"page":"99-108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Test-based inference of polynomial loop-bound functions"],"prefix":"10.1145","author":[{"given":"Olha","family":"Shkaravska","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen"}]},{"given":"Rody","family":"Kersten","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen"}]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen and Open Universiteit"}]}],"member":"320","published-online":{"date-parts":[[2010,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"77","volume-title":"FTfJP","author":"Albert E.","year":"2008"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69166-2_15"},{"volume-title":"Springer-Verlag","year":"2007","author":"Beckert B.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_12"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"}}C. K. Chui and M.-J. Lai. Vandermonde determinants and lagrange interpolation in Rs. Nonlinear and convex analysis pages 23--35 1987. }}C. K. Chui and M.-J. Lai. Vandermonde determinants and lagrange interpolation in R s . Nonlinear and convex analysis pages 23--35 1987.","DOI":"10.1201\/9781003420040-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.53"},{"volume-title":"7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis","year":"2007","author":"Ermedahl A.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11266-9_34"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_7"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542518"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167999.1168026"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620412"},{"key":"e_1_3_2_1_13_1","unstructured":"}}G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cok P. M\u00fcller J. Kiniry and P. Chalin. JML Reference Manual. Draft Revision 1.200 Feb. 2007. }}G. T. Leavens E. Poll C. Clifton Y. Cheon C. Ruby D. Cok P. M\u00fcller J. Kiniry and P. Chalin. JML Reference Manual. Draft Revision 1.200 Feb. 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.17"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620429"},{"key":"e_1_3_2_1_17_1","first-page":"10","article-title":"Polynomial size analysis of first-order shapely functions","volume":"2","author":"Shkaravska O.","year":"2009","journal-title":"Logic in Computer Science"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.033"}],"event":{"name":"PPPJ '10: Principles and Practice of Programming in Java","sponsor":["Technical University of Vienna","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Vienna Austria","acronym":"PPPJ '10"},"container-title":["Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1852761.1852776","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1852761.1852776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:41Z","timestamp":1750246781000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1852761.1852776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,15]]},"references-count":18,"alternative-id":["10.1145\/1852761.1852776","10.1145\/1852761"],"URL":"https:\/\/doi.org\/10.1145\/1852761.1852776","relation":{},"subject":[],"published":{"date-parts":[[2010,9,15]]},"assertion":[{"value":"2010-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}