{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:52Z","timestamp":1750307812901,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T00:00:00Z","timestamp":1216080000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,15]]},"DOI":"10.1145\/1389449.1389471","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"174-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards execution time estimation in abstract machine-based languages"],"prefix":"10.1145","author":[{"given":"E.","family":"Mera","sequence":"first","affiliation":[{"name":"Complutense University of Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Lopez","sequence":"additional","affiliation":[{"name":"IMDEA Software"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Carro","sequence":"additional","affiliation":[{"name":"Technical U. of Madrid"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Hermenegildo","sequence":"additional","affiliation":[{"name":"IMDEA Software, Technical U. of Madrid and U. of New Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/113900"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69166-2_15"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"E.\n      Albert P.\n      Arenas S.\n      Genaim G.\n      Puebla and \n      D.\n      Zanardini\n  . \n  Cost analysis of java bytecode\n  . In R. D. Nicola editor 16th European Symposium on Programming ESOP'07 volume \n  4421\n   of \n  Lecture Notes in Computer Science pages \n  157\n  --\n  172\n  . \n  Springer March \n  2007\n  .   E. Albert P. Arenas S. Genaim G. Puebla and D. Zanardini. Cost analysis of java bytecode. In R. D. Nicola editor 16th European Symposium on Programming ESOP'07 volume 4421 of Lecture Notes in Computer Science pages 157--172. Springer March 2007.","DOI":"10.1007\/978-3-540-71316-6_12"},{"key":"e_1_3_2_1_4_1","unstructured":"R. Bagnara A. Pescetti A. Zaccagnini E. Zaffanella and T. Zolo. Purrs: The Parma University's Recurrence Relation Solver. http:\/\/www.cs.unipr.it\/purrs.  R. Bagnara A. Pescetti A. Zaccagnini E. Zaffanella and T. Zolo. Purrs: The Parma University's Recurrence Relation Solver. http:\/\/www.cs.unipr.it\/purrs."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/580571.828825"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/863631.880500"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.022"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_9"},{"key":"e_1_3_2_1_9_1","unstructured":"S. Buettcher. Warren's Abstract Machine - A Java Implementation. http:\/\/www.stefan.buettcher.org\/cs\/wam\/index.html.  S. Buettcher. Warren's Abstract Machine - A Java Implementation. http:\/\/www.stefan.buettcher.org\/cs\/wam\/index.html."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069777"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/161468.161472"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93564"},{"key":"e_1_3_2_1_13_1","first-page":"291","volume-title":"Lin. Lower Bound Cost Estimation for Logic Programs. In 1997 International Logic Programming Symposium","author":"Debray S. K.","year":"1997"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-739X(99)00088-6"},{"volume-title":"Proc. Fifth International Workshop on Worst-Case Execution Time (WCET) Analysis, Palma de Mallorca","year":"2005","author":"Ermedahl A.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/503032.503039"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39962-9_48"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_9"},{"volume-title":"UNM","year":"2008","author":"Navas J.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","first-page":"348","volume-title":"User-Definable Resource Bounds Analysis for Logic Programs. In 23rd International Conference on Logic Programming (ICLP 2007","volume":"4670","author":"Navas J.","year":"2007"},{"volume-title":"Technical Report 309","year":"1983","author":"Warren D.","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_14"}],"event":{"name":"PPDP08: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Valencia Spain","acronym":"PPDP08"},"container-title":["Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389471","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389449.1389471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:38Z","timestamp":1750255058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389471"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,15]]},"references-count":23,"alternative-id":["10.1145\/1389449.1389471","10.1145\/1389449"],"URL":"https:\/\/doi.org\/10.1145\/1389449.1389471","relation":{},"subject":[],"published":{"date-parts":[[2008,7,15]]},"assertion":[{"value":"2008-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}