{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:54:33Z","timestamp":1725544473756},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326540"},{"type":"electronic","value":"9783540326564"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11680093_8","type":"book-chapter","created":{"date-parts":[[2006,2,28]],"date-time":"2006-02-28T01:43:40Z","timestamp":1141091020000},"page":"115-132","source":"Crossref","is-referenced-by-count":8,"title":["Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John P.","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Albert, E., Hanus, M., Vidal, G.: A practical partial evaluation scheme for multi-paradigm declarative languages. Journal of Functional and Logic Programming\u00a02002(1) (2002)"},{"key":"8_CR2","first-page":"137","volume-title":"Proc. of the ACM Sigplan PEPM 1997","author":"S. Etalle","year":"1997","unstructured":"Etalle, S., Gabbrielli, M., Marchiori, E.: A Transformation System for CLP with Dynamic Scheduling and CCP. In: Proc. of the ACM Sigplan PEPM 1997, pp. 137\u2013150. ACM Press, New York (1997)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-25938-1_8","volume-title":"Logic Based Program Synthesis and Transformation","author":"J. Gallagher","year":"2004","unstructured":"Gallagher, J.: A Program Transformation for Backwards Analysis of Logic Programs. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 92\u2013105. Springer, Heidelberg (2004)"},{"key":"8_CR4","first-page":"88","volume-title":"Proceedings of PEPM 1993, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"J.P. Gallagher","year":"1993","unstructured":"Gallagher, J.P.: Tutorial on specialisation of logic programs. In: Proceedings of PEPM 1993, the ACM Sigplan Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 88\u201398. ACM Press, New York (1993)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","first-page":"380","volume-title":"Program Development in Computational Logic","author":"M. Jacob","year":"2004","unstructured":"Jacob, M., Howe, A.K., Lu, L.: Analysing Logic Programs by Reasoning Backwards. In: Program Development in Computational Logic. LNCS, pp. 380\u2013393. Springer, Heidelberg (2004)"},{"issue":"4\u20135","key":"8_CR6","first-page":"32","volume":"2","author":"A. King","year":"2002","unstructured":"King, A., Lu, L.: A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming\u00a02(4\u20135), 32 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-56282-6_4","volume-title":"Meta-Programming in Logic","author":"J. Komorowski","year":"1992","unstructured":"Komorowski, J.: An Introduction to Partial Deduction. In: Pettorossi, A. (ed.) META 1992. LNCS, vol.\u00a0649, pp. 49\u201369. Springer, Heidelberg (1992)"},{"issue":"4, 5","key":"8_CR8","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S147106840200145X","volume":"2","author":"M. Leuschel","year":"2002","unstructured":"Leuschel, M., Bruynooghe, M.: Logic program specialisation through partial deduction: Control issues. Theory and Practice of Logic Programming\u00a02(4, 5), 461\u2013515 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1\u20132","key":"8_CR9","first-page":"139","volume":"4","author":"M. Leuschel","year":"2004","unstructured":"Leuschel, M., J\u00f8rgensen, J., Vanhoof, W., Bruynooghe, M.: Offline specialisation in prolog using a hand-written compiler generator. TPLP\u00a04(1\u20132), 139\u2013191 (2004)","journal-title":"TPLP"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-58792-6_8","volume-title":"Logic Program Synthesis and Transformation - Meta-Programming in Logic","author":"M. Leuschel","year":"1994","unstructured":"Leuschel, M.: Partial evaluation of the real thing. In: Fribourg, L., Turini, F. (eds.) LOPSTR 1994 and META 1994. LNCS, vol.\u00a0883, pp. 122\u2013137. Springer, Heidelberg (1994)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-49727-7_14","volume-title":"Static Analysis","author":"M. Leuschel","year":"1998","unstructured":"Leuschel, M.: On the Power of Homeomorphic Embedding for Online Termination. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 230\u2013245. Springer, Heidelberg (1998)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. The Journal of Logic Programming\u00a011, 217\u2013242 (1991)","journal-title":"The Journal of Logic Programming"},{"key":"8_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","first-page":"149","volume-title":"Logic Based Program Synthesis and Transformation","author":"G. Puebla","year":"2004","unstructured":"Puebla, G., Albert, E., Hermenegildo, M.: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. In: Bruynooghe, M. (ed.) LOPSTR 2004. LNCS, vol.\u00a03018, pp. 149\u2013165. Springer, Heidelberg (2004)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201361. Springer, Heidelberg (2000)"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF03038271","volume":"12","author":"D. Sahlin","year":"1993","unstructured":"Sahlin, D.: Mixtus: An automatic partial evaluator for full Prolog. New Generation Computing\u00a012(1), 7\u201351 (1993)","journal-title":"New Generation Computing"},{"key":"8_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF03037142","volume":"6","author":"R. Venken","year":"1988","unstructured":"Venken, R., Demoen, B.: A partial evaluation system for prolog: some practical considerations. New Generation Computing\u00a06, 279\u2013290 (1988)","journal-title":"New Generation Computing"}],"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\/11680093_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T01:55:47Z","timestamp":1552355747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11680093_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326540","9783540326564"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11680093_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}