{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:45Z","timestamp":1761611205468},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439158"},{"type":"electronic","value":"9783540456070"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45607-4_9","type":"book-chapter","created":{"date-parts":[[2007,5,22]],"date-time":"2007-05-22T15:08:20Z","timestamp":1179846500000},"page":"148-167","source":"Crossref","is-referenced-by-count":6,"title":["Symbolic Profiling for Multi-paradigm Declarative Languages"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"9_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-45142-0_7","volume-title":"Proc. of LOPSTR 2000","author":"E. Albert","year":"2001","unstructured":"E. Albert, S. Antoy, and G. Vidal. Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. In Proc. of LOPSTR 2000, pages 103\u2013124. Springer LNCS 2042, 2001."},{"key":"9_CR2","unstructured":"E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. An Operational Semantics for Declarative Multi-Paradigm Languages. Available from URL: http:\/\/www.dsic.upv.es\/users\/elp\/papers.html , 2002."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"E. Albert, M. Hanus, and G. Vidal. Using an Abstract Representation to Specialize Functional Logic Programs. In Proc. of LPAR 2000, pages 381\u2013398. Springer LNAI 1955, 2000.","DOI":"10.1007\/3-540-44404-1_24"},{"key":"9_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/3-540-44716-4_21","volume-title":"Proc. of FLOPS\u201901","author":"E. Albert","year":"2001","unstructured":"E. Albert, M. Hanus, and G. Vidal. A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. In Proc. of FLOPS\u201901, pages 326\u2013342. Springer LNCS 2024, 2001."},{"key":"9_CR5","unstructured":"E. Albert, M. Hanus, and G. Vidal. A Residualizing Semantics for the Partial Evaluation of Functional Logic Programs, 2002. Submitted for publication. Available at http:\/\/www.dsic.upv.es\/users\/elp\/papers.html ."},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF03037257","volume":"20","author":"E. Albert","year":"2002","unstructured":"E. Albert and G. Vidal. The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing, 20(1):3\u201326, 2002.","journal-title":"New Generation Computing"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"768","DOI":"10.1145\/291891.291896","volume":"20","author":"M. Alpuente","year":"1998","unstructured":"M. Alpuente, M. Falaschi, and G. Vidal. Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems, 20(4):768\u2013844, 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"776","DOI":"10.1145\/347476.347484","volume":"47","author":"S. Antoy","year":"2000","unstructured":"S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, 47(4):776\u2013822, 2000.","journal-title":"Journal of the ACM"},{"key":"9_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/10720084_12","volume-title":"Proc. of FroCoS\u20192000","author":"S. Antoy","year":"2000","unstructured":"S. Antoy and M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. of FroCoS\u20192000, pages 171\u2013185. Springer LNCS 1794, 2000."},{"key":"9_CR10","unstructured":"S. Antoy, B. Massey, and P. Juli\u00e1n. Improving the Efficiency of Non-Deterministic Computations. In Proc. of WFLP\u201901, Kiel, Germany, 2001."},{"key":"9_CR11","unstructured":"A.W. Appel, B.F. Duba, and D.B. MacQueen. Profiling in the Presence of Optimization and Garbage Collection. Technical Report CS-TR-197-88, Princeton University, 1988."},{"key":"9_CR12","volume-title":"Writing Efficient Programs","author":"J.L. Bentley","year":"1982","unstructured":"J.L. Bentley. Writing Efficient Programs. Prentice-Hall, Englewood Cliffs, N.J., 1982."},{"key":"9_CR13","unstructured":"T. C. Conway and Z. Somogyi. Deep profiling: engineering a profiler for a declarative programming language. Technical Report Technical Report 2001\/24, Department of Computer Science, University of Melbourne (Australia), 2001."},{"issue":"9","key":"9_CR14","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1002\/spe.4380180903","volume":"18","author":"S.K. Debray","year":"1988","unstructured":"S.K. Debray. Profiling Prolog Programs. Software, Practice and Experience, 18(9):821\u2013840, 1988.","journal-title":"Software, Practice and Experience"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"S.L. Graham, P.B. Kessler, and M.K. McKusick. gprof: a Call Graph Execution Profiler. In Proc. of CC\u201982, pages 120\u2013126, Boston, MA, 1982.","DOI":"10.1145\/800230.806987"},{"key":"9_CR16","first-page":"80","volume-title":"Proc. of POPL\u201997","author":"M. Hanus","year":"1997","unstructured":"M. Hanus. A unified computation model for functional and logic programming. In Proc. of POPL\u201997, pages 80\u201393. ACM, New York, 1997."},{"key":"9_CR17","volume-title":"Technical report","author":"M. Hanus","year":"2000","unstructured":"M. Hanus, S. Antoy, J. Koj, R. Sadre, and F. Steiner. PAKCS 1.2: The Portland Aachen Kiel Curry System User Manual. Technical report, University of Kiel, Germany, 2000."},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1017\/S0956796899003330","volume":"9","author":"M. Hanus","year":"1999","unstructured":"M. Hanus and C. Prehofer. Higher-Order Narrowing with Definitional Trees. Journal of Functional Programming, 9(1):33\u201375, 1999.","journal-title":"Journal of Functional Programming"},{"key":"9_CR19","unstructured":"M. Hanus (ed.). Curry: An Integrated Functional Logic Language. Available at: http:\/\/www.informatik.uni-kiel.de\/~mh\/curry\/ ."},{"key":"9_CR20","unstructured":"E. Jahier and M. Ducasse. A Generic Approach to Monitor Program Executions. In Proc. of ICLP\u201999, pages 139\u2013153. MIT Press, 1999."},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"E. Jahier and M. Ducasse. Generic Program Monitoring by Trace Analysis. Theory and Practice of Logic Programming, 2(4,5), 2002.","DOI":"10.1017\/S1471068402001461"},{"key":"9_CR22","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ, 1993."},{"issue":"6","key":"9_CR23","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/113446.113474","volume":"26","author":"A. Kishon","year":"1991","unstructured":"A. Kishon, P. Hudak, and C. Consel. Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. ACM Sigplan Notices, 26(6):338\u2013352, 1991.","journal-title":"ACM Sigplan Notices"},{"key":"9_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-48685-2_19","volume-title":"Proc. of RTA\u201999","author":"F. L\u00f3pez-Fraguas","year":"1999","unstructured":"F. L\u00f3pez-Fraguas and J. S\u00e1nchez-Hern\u00e1ndez. TOY: A Multiparadigm Declarative System. In Proc. of RTA\u201999, pages 244\u2013247. Springer LNCS 1631, 1999."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"W. Lux and H. Kuchen. An Efficient Abstract Machine for Curry. In Proc. of WFLP\u201999, pages 171\u2013181, 1999.","DOI":"10.1007\/978-3-662-01069-3_58"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"R.G. Morgan and S.A. Jarvis. Profiling large-scale lazy functional programs. Journal of Functional Programming, 8(3), 1998.","DOI":"10.1017\/S0956796898003013"},{"issue":"2","key":"9_CR27","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1145\/244795.244802","volume":"19","author":"P.M. Sansom","year":"1997","unstructured":"P.M. Sansom and S.L. Peyton-Jones. Formally Based Profiling for Higher-Order Functional Languages. ACM Transactions on Programming Languages and Systems, 19(2):334\u2013385, 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR28","unstructured":"E. Tick. Visualizing Parallel Logic Programs with VISTA. In Proc. of the Int\u2019l Conf. on Fifth Generation Computer Systems, pages 934\u2013942. ICOT, 1992."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"G. Vidal. Cost-Augmented Narrowing-Driven Specialization. In Proc. of PEPM\u201902, pages 52\u201362. ACM Press, 2002.","DOI":"10.1145\/503032.503037"},{"key":"9_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/3-540-45306-7_22","volume-title":"Proc. of CC\u201901","author":"S. Watterson","year":"2001","unstructured":"S. Watterson and S. Debray. Goal-Directed Value Profiling. In Proc. of CC\u201901, pages 319\u2013334. Springer LNCS 2027, 2001."}],"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\/3-540-45607-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T02:59:55Z","timestamp":1556420395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45607-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439158","9783540456070"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-45607-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}