{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:45:56Z","timestamp":1743101156018,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183775"},{"type":"electronic","value":"9783642183782"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-18378-2_6","type":"book-chapter","created":{"date-parts":[[2011,1,20]],"date-time":"2011-01-20T09:18:08Z","timestamp":1295515088000},"page":"38-53","source":"Crossref","is-referenced-by-count":5,"title":["Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs"],"prefix":"10.1007","author":[{"given":"Edison","family":"Mera","sequence":"first","affiliation":[]},{"given":"Teresa","family":"Trigo","sequence":"additional","affiliation":[]},{"given":"Pedro","family":"Lopez-Garc\u00eda","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/11506676_12","volume-title":"Logic Based Program Synthesis and Transformation","author":"B. Brassel","year":"2005","unstructured":"Brassel, B., Hanus, M., Huch, F., Silva, J., Vidal, G.: Run-Time Profiling of Functional Logic Programs. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 182\u2013197. Springer, Heidelberg (2005)"},{"key":"6_CR2","unstructured":"Byrd, L.: Understanding the Control Flow of Prolog Programs. In: T\u00e4rnlund, S.-A. (ed.) Proceedings of the 1980 Logic Programming Workshop, Debrecen, Hungary, pp. 127\u2013138 (July 1980)"},{"issue":"9","key":"6_CR3","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1002\/spe.4380180903","volume":"18","author":"S.K. Debray","year":"1983","unstructured":"Debray, S.K.: Profiling Prolog Programs. Software Practice and Experience\u00a018(9), 821\u2013839 (1983)","journal-title":"Software Practice and Experience"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0743-1066(99)00061-8","volume":"43","author":"M. Ducass\u00e9","year":"2000","unstructured":"Ducass\u00e9, M., Noy\u00e9, J.: Tracing Prolog Programs by Source Instrumentation is Efficient Enough. Journal of Logic Programming\u00a043, 157\u2013172 (2000)","journal-title":"Journal of Logic Programming"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/800230.806987","volume-title":"SIGPLAN 1982: Proc. of the 1982 SIGPLAN Symp. on Compiler Construction","author":"S.L. Graham","year":"1982","unstructured":"Graham, S.L., Kessler, P.B., Mckusick, M.K.: Gprof: a Call Graph Execution Profiler. In: SIGPLAN 1982: Proc. of the 1982 SIGPLAN Symp. on Compiler Construction, pp. 120\u2013126. ACM, New York (1982)"},{"issue":"1-2","key":"6_CR6","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., L\u00f3pez-Garc\u00eda, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming\u00a058(1-2), 115\u2013140 (2005)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1147\/sj.391.0096","volume":"39","author":"I.H. Kazi","year":"2000","unstructured":"Kazi, I.H., Jose, D.P., Ben-Hamida, B., Hescott, C.J., Kwok, C., Konstan, J.A., Lilja, D.J., Yew, P.-C.: JaViz: A Client\/Server Java Profiling Tool. IBM Syst. J.\u00a039(1), 96\u2013117 (2000)","journal-title":"IBM Syst. J."},{"key":"6_CR8","unstructured":"L\u00f3pez-Garc\u00eda, P., Darmawan, L., Bueno, F.: A Framework for Verification and Debugging of Resource Usage Properties. In: Technical Communications of ICLP. LIPIcs, vol.\u00a07, pp. 104\u2013113. Schloss Dagstuhl (July 2010)"},{"issue":"8","key":"6_CR9","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1002\/spe.4380240804","volume":"24","author":"A.B. Matos","year":"1994","unstructured":"Matos, A.B.: A matrix model for the flow of control in prolog programs with applications to profiling. Software Practice and Experience\u00a024(8), 729\u2013746 (1994)","journal-title":"Software Practice and Experience"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-642-02846-5_25","volume-title":"Logic Programming","author":"E. Mera","year":"2009","unstructured":"Mera, E., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 281\u2013295. Springer, Heidelberg (2009)"},{"key":"6_CR11","unstructured":"Mera, E., Trigo, T., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: An Approach to Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Technical Report CLIP3\/2010.0, Technical University of Madrid (UPM), School of Computer Science, UPM (March 2010)"},{"key":"6_CR12","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.: User-Definable Resource Bounds Analysis for Logic Programs. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol.\u00a04670, pp. 348\u2013363. Springer, Heidelberg (2007)"},{"key":"6_CR13","first-page":"164","volume-title":"ACM Partial Evaluation and Program Manipulation (PEPM 2007)","author":"C. Ochoa","year":"2007","unstructured":"Ochoa, C., Puebla, G.: Poly-Controlled Partial Evaluation in Practice. In: ACM Partial Evaluation and Program Manipulation (PEPM 2007), pp. 164\u2013173. ACM Press, New York (2007)"},{"issue":"3","key":"6_CR14","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1017\/S0956796898003013","volume":"8","author":"S.A. Jarvis","year":"1998","unstructured":"Jarvis, S.A., Morgan, R.G.: Profiling large-scale lazy functional programs. Journal of Functional Programing\u00a08(3), 201\u2013237 (1998)","journal-title":"Journal of Functional Programing"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/244795.244802","volume":"19","author":"P.M. Sansom","year":"1997","unstructured":"Sansom, P.M., Peyton Jones, S.L.: Formally Based Profiling for Higher-Order Functional Languages. ACM Transactions on Programming Languages and Systems\u00a019(2), 334\u2013385 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"6_CR16","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1002\/spe.562","volume":"34","author":"J.M. Spivey","year":"2004","unstructured":"Spivey, J.M.: Fast, accurate call graph profiling. Software Practice and Experience\u00a034(3), 249\u2013264 (2004)","journal-title":"Software Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18378-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:51:58Z","timestamp":1558295518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18378-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183775","9783642183782"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18378-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}