{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:14Z","timestamp":1725559514802},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266556"},{"type":"electronic","value":"9783540316831"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506676_12","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T16:07:52Z","timestamp":1279469272000},"page":"182-197","source":"Crossref","is-referenced-by-count":9,"title":["Run-Time Profiling of Functional Logic Programs"],"prefix":"10.1007","author":[{"given":"B.","family":"Brassel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Hanus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Huch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation (2005)(To appear)","DOI":"10.1016\/j.jsc.2004.01.001"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45607-4_9","volume-title":"Logic Based Program Synthesis and Transformation","author":"E. Albert","year":"2002","unstructured":"Albert, E., Vidal, G.: Symbolic Profiling of Multi-Paradigm Declarative Languages. In: Pettorossi, A. (ed.) LOPSTR 2001. LNCS, vol.\u00a02372, pp. 148\u2013167. Springer, Heidelberg (2002)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/10720084_12","volume-title":"Frontiers of Combining Systems","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hanus, M.: Compiling Multi-Paradigm Declarative Programs into Prolog. In: Kirchner, H. (ed.) FroCos 2000. LNCS, vol.\u00a01794, pp. 171\u2013185. Springer, Heidelberg (2000)"},{"key":"12_CR4","volume-title":"The Lambda Calculus\u2014Its Syntax and Semantics","author":"H.P. Barendregt","year":"1984","unstructured":"Barendregt, H.P.: The Lambda Calculus\u2014Its Syntax and Semantics. Elsevier, Amsterdam (1984)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bra\u00dfel, B., Hanus, M., Huch, F., Silva, J., Vidal, G.: Run-Time Profiling of Functional Logic Programs. Technical report, DSIC, Technical University of Valencia (2005), Available at: http:\/\/www.dsic.upv.es\/users\/elp\/german\/papers.html","DOI":"10.1007\/11506676_12"},{"key":"12_CR6","unstructured":"Hanus, M. (ed.): Curry: An Integrated Functional Logic Language. Available at: http:\/\/www.informatik.uni-kiel.de\/~curry"},{"key":"12_CR7","unstructured":"Gorlick, M., Kesselman, C.: Timing Prolog Programs without Clock. In: Proc. of the 4th Symposium on Logic Programming (SLP1987), pp. 426\u2013434 (1987)"},{"key":"12_CR8","first-page":"80","volume-title":"Proc. of the 24th ACM Symp. on Principles of Programming Languages (POPL1997)","author":"M. Hanus","year":"1997","unstructured":"Hanus, M.: A Unified Computation Model for Functional and Logic Programming. In: Proc. of the 24th ACM Symp. on Principles of Programming Languages (POPL1997), pp. 80\u201393. ACM, New York (1997)"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0956796899003330","volume":"9","author":"M. Hanus","year":"1999","unstructured":"Hanus, M., Prehofer, C.: Higher-Order Narrowing with Definitional Trees. Journal of Functional Programming\u00a09(1), 33\u201375 (1999)","journal-title":"Journal of Functional Programming"},{"key":"12_CR10","unstructured":"Hanus, M., Antoy, S., Engelke, M., H\u00f6ppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F. (eds.): PAKCS 1.6.0: The Portland Aachen Kiel Curry System\u2014User Manual. Technical report, University of Kiel, Germany (2004)"},{"key":"12_CR11","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"12_CR12","first-page":"144","volume-title":"Proc. of the ACM Symp. on Principles of Programming Languages (POPL1993)","author":"J. Launchbury","year":"1993","unstructured":"Launchbury, J.: A Natural Semantics for Lazy Evaluation. In: Proc. of the ACM Symp. on Principles of Programming Languages (POPL1993), pp. 144\u2013154. ACM Press, New York (1993)"},{"key":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Rewriting Techniques and Applications","author":"F. L\u00f3pez-Fraguas","year":"1999","unstructured":"L\u00f3pez-Fraguas, F., S\u00e1nchez-Hern\u00e1ndez, J.: TOY: A Multiparadigm Declarative System. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol.\u00a01631, pp. 244\u2013247. Springer, Heidelberg (1999)"},{"issue":"2","key":"12_CR14","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"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506676_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:27Z","timestamp":1605643407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506676_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266556","9783540316831"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11506676_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}