{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:55:11Z","timestamp":1743123311891,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319296036"},{"type":"electronic","value":"9783319296043"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29604-3_11","type":"book-chapter","created":{"date-parts":[[2016,2,20]],"date-time":"2016-02-20T07:53:12Z","timestamp":1455954792000},"page":"163-180","source":"Crossref","is-referenced-by-count":4,"title":["A Transformational Approach to Parametric Accumulated-Cost Static Profiling"],"prefix":"10.1007","author":[{"given":"R.","family":"Haemmerl\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"L\u00f3pez-Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Liqat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Klemen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. P.","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. V.","family":"Hermenegildo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,21]]},"reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10817-010-9174-1","volume":"46","author":"E Albert","year":"2011","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-form upper bounds in static cost analysis. J. Autom. Reasoning 46(2), 161\u2013203 (2011)","journal-title":"J. Autom. Reasoning"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-18275-4_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"E Albert","year":"2011","unstructured":"Albert, E., Genaim, S., Masud, A.N.: More precise yet widely applicable cost analysis. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol. 6538, pp. 38\u201353. Springer, Heidelberg (2011)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Boogerd, C., Moonen, L.: On the use of data flow analysis in static profiling. In: Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 79\u201388, September 2008","DOI":"10.1109\/SCAM.2008.18"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Brandner, F., Hepp, S., Jordan, A.: Static profiling of the worst-case in real-time programs. In: Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS 2012, pp. 101\u2013110. ACM, New York (2012)","DOI":"10.1145\/2392987.2393000"},{"issue":"5","key":"11_CR5","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/161468.161472","volume":"15","author":"SK Debray","year":"1993","unstructured":"Debray, S.K., Lin, N.W.: Cost analysis of logic programs. ACM Trans. Program. Lang. Syst. 15(5), 826\u2013875 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Debray, S.K., Lin, N.-W., Hermenegildo, M.: Task Granularity Analysis in Logic Programs. In: Proceeding of the 1990 ACM Conference on Programming Language Design and Implementation, pp. 174\u2013188. ACM Press, June 1990","DOI":"10.1145\/93548.93564"},{"key":"11_CR7","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Lin, N.-W.: Lower bound cost estimation for logic programs. In: 1997 International Logic Programming Symposium, pp. 291\u2013305. MIT Press, Cambridge, October 1997"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Giesl, J., Str\u00f6der, T., Schneider-Kamp, P., Emmes, F., Fuhs, C.: Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. In: PPDP, pp. 1\u201312. ACM (2012)","DOI":"10.1145\/2370776.2370778"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Grobauer, B.: Cost recurrences for DML programs. In: Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming, ICFP 2001, pp. 253\u2013264. ACM, New York (2001)","DOI":"10.1145\/507669.507666"},{"issue":"1\u20132","key":"11_CR10","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M Hermenegildo","year":"2005","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., Lopez-Garcia, P.: Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1\u20132), 115\u2013140 (2005)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20132","key":"11_CR11","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1017\/S1471068411000457","volume":"12","author":"MV Hermenegildo","year":"2012","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez, P., Mera, E., Morales, J.F., Puebla, G.: An overview of Ciao and its design philosophy. Theor. Pract. Logic Program. 12(1\u20132), 219\u2013252 (2012). \n                    arxiv.org\/abs\/1102.5497","journal-title":"Theor. Pract. Logic Program."},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/2362389.2362393","volume":"34","author":"J Hoffmann","year":"2012","unstructured":"Hoffmann, J., Aehlig, K., Hofmann, M.: Multivariate amortized resource analysis. ACM Trans. Program. Lang. Syst. 34(3), 14:1\u201314:62 (2012)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: Resource usage analysis. In: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2002, pp. 331\u2013342. ACM, New York (2002)","DOI":"10.1145\/565816.503303"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Liqat, U., Georgiou, K., Kerrison, S., Lopez-Garcia, P., Hermenegildo, M.V., Gallagher, J.P., Eder, K.: Inferring energy consumption at different software levels: ISA vs. LLVM IR. In: Van Eekelen, M., DalLago, U. (eds.) FOPARA 2015, LNCS. Springer (2016, to appear)","DOI":"10.1007\/978-3-319-46559-3_5"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/978-3-319-14125-1_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"U Liqat","year":"2014","unstructured":"Liqat, U., et al.: Energy consumption analysis of programs based on XMOS ISA-level models. In: Gupta, G., Pe\u00f1a, R. (eds.) LOPSTR 2013, LNCS 8901. LNCS, vol. 8901, pp. 72\u201390. Springer, Heidelberg (2014)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-78769-3_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M M\u00e9ndez-Lojo","year":"2008","unstructured":"M\u00e9ndez-Lojo, M., Navas, J., Hermenegildo, M.V.: A flexible, (C)LP-based approach to the analysis of object-oriented programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol. 4915, pp. 154\u2013168. Springer, Heidelberg (2008)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-642-18378-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"E Mera","year":"2011","unstructured":"Mera, E., Trigo, T., Lopez-Garc\u00eda, P., Hermenegildo, M.: Profiling for run-time checking of computational properties and performance debugging in logic programs. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol. 6539, pp. 38\u201353. Springer, Heidelberg (2011)"},{"issue":"3","key":"11_CR18","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1017\/S0956796898003013","volume":"8","author":"RG Morgan","year":"1998","unstructured":"Morgan, R.G., Jarvis, S.A.: Profiling large-scale lazy functional programs. J. Funct. programing 8(3), 201\u2013237 (1998)","journal-title":"J. Funct. programing"},{"issue":"2\/3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time derivation of variable dependency using abstract interpretation. J. Logic Program. 13(2\/3), 315\u2013347 (1992)","journal-title":"J. Logic Program."},{"key":"11_CR20","unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: Safe upper-bounds inference of energy consumption for java bytecode applications. In: The Sixth NASA Langley Formal Methods Workshop (LFM 2008), pp. 29\u201332, April 2008. (Extended Abstract)"},{"issue":"5","key":"11_CR21","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.entcs.2009.11.015","volume":"253","author":"Jorge Navas","year":"2009","unstructured":"Navas, J., M\u00e9ndez-Lojo, M., Hermenegildo, M.: User-definable resource usage bounds analysis for java bytecode. In: Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), vol. 253. Electronic Notes in Theoretical Computer Science, pp. 65\u201382. Elsevier, North Holland, March 2009","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-540-74610-2_24","volume-title":"Logic Programming","author":"J Navas","year":"2007","unstructured":"Navas, J., Mera, E., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.V.: User-definable resource bounds analysis for logic programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 348\u2013363. Springer, Heidelberg (2007)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/3-540-45927-8_18","volume-title":"Programming Languages and Systems","author":"F Nielson","year":"2002","unstructured":"Nielson, F., Riis Nielson, H., Seidl, H.: Automatic complexity analysis. In: Le M\u00e9tayer, D. (ed.) ESOP 2002. LNCS, vol. 2305, pp. 243\u2013261. Springer, Heidelberg (2002)"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61739-6_47","volume-title":"Static Analysis","author":"G Puebla","year":"1996","unstructured":"Puebla, G., Hermenegildo, M.: Optimized algorithms for incremental analysis of logic programs. In: Cousot, Radhia, Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145. Springer, Heidelberg (1996)"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Rosendahl, M.: Automatic complexity analysis. In: 4th ACM Conference on Functional Programming Languages and Computer Architecture (FPCA 1989), pp. 144\u2013156. ACM Press (1989)","DOI":"10.1145\/99370.99381"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Sansom, P.M., Peyton Jones, S.L.: Time and space profiling for non-strict, higher-order functional languages. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1995, pp. 355\u2013366. ACM, New York (1995)","DOI":"10.1145\/199448.199531"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Serrano, A., Lopez-Garcia, P., Bueno, F., Hermenegildo, M.: Sized type analysis for logic programs (technical communication). In: Swift, T., Lamma, E. (eds.) Theory and Practice of Logic Programming, 29th International Conference on Logic Programming (ICLP 2013) Special Issue, On-line Supplement, vol. 13, pp. 1\u201314. Cambridge University Press, August 2013","DOI":"10.1017\/S1471068413000112"},{"issue":"4-5","key":"11_CR28","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1017\/S147106841400057X","volume":"14","author":"A. SERRANO","year":"2014","unstructured":"Serrano, A., Lopez-Garcia, P., Hermenegildo, M.: Resource usage analysis of logic programs via abstract interpretation using sized types. In: 30th International Conference on Logic Programming (ICLP 2014) Theory and Practice of Logic Programming, vol. 14(4\u20135), pp. 739\u2013754 (2014). (special issue)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4","key":"11_CR29","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/92.335012","volume":"2","author":"V Tiwari","year":"1994","unstructured":"Tiwari, V., Malik, S., Wolfe, A.: Power analysis of embedded software: a first step towards software power minimization. IEEE Trans. VLSI Syst. 2(4), 437\u2013445 (1994)","journal-title":"IEEE Trans. VLSI Syst."},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-27861-0_6","volume-title":"Implementation of Functional Languages","author":"PB Vasconcelos","year":"2004","unstructured":"Vasconcelos, P.B., Hammond, K.: Inferring cost equations for recursive, polymorphic and higher-order functional programs. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol. 3145, pp. 86\u2013101. Springer, Heidelberg (2004)"},{"key":"11_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-45789-5_10","volume-title":"Static Analysis","author":"F Bueno","year":"2002","unstructured":"Bueno, F., Vaucheret, C.: More precise yet efficient type inference for logic programs. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol. 2477, pp. 102\u2013116. Springer, Heidelberg (2002)"},{"issue":"9","key":"11_CR32","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/361002.361016","volume":"18","author":"B Wegbreit","year":"1975","unstructured":"Wegbreit, B.: Mechanical program analysis. Commun. ACM 18(9), 528\u2013539 (1975)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29604-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:50:19Z","timestamp":1559386219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29604-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296036","9783319296043"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29604-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}