{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:59:14Z","timestamp":1743011954402,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030138370"},{"type":"electronic","value":"9783030138387"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-13838-7_8","type":"book-chapter","created":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T03:15:23Z","timestamp":1550805323000},"page":"132-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Predicate Specialization for Definitional Higher-Order Logic Programs"],"prefix":"10.1007","author":[{"given":"Antonis","family":"Troumpoukis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelos","family":"Charalambidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,23]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Hanus, M., Vidal, G.: A practical partial evaluation scheme for multi-paradigm declarative languages. J. Funct. Logic Program. 2002 (2002)","DOI":"10.1007\/3-540-45607-4_9"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/2499937.2499942","volume":"14","author":"A Charalambidis","year":"2013","unstructured":"Charalambidis, A., Handjopoulos, K., Rondogiannis, P., Wadge, W.W.: Extensional higher-order logic programming. ACM Trans. Comput. Logic 14(3), 21 (2013)","journal-title":"ACM Trans. Comput. Logic"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.scico.2017.09.002","volume":"155","author":"A Charalambidis","year":"2018","unstructured":"Charalambidis, A., Rondogiannis, P., Troumpoukis, A.: Higher-order logic programming: an expressive language for representing qualitative preferences. Sci. Comput. Program. 155, 173\u2013197 (2018)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: a foundation for higher-order logic programming. J. Logic Program. 15(3), 187\u2013230 (1993)","journal-title":"J. Logic Program."},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF01806315","volume":"9","author":"W Chin","year":"1996","unstructured":"Chin, W., Darlington, J.: A higher-order removal method. Lisp Symbolic Comput. 9(4), 287\u2013322 (1996)","journal-title":"Lisp Symbolic Comput."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Gallagher, J.P.: Tutorial on specialisation of logic programs. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1993, Copenhagen, Denmark, 14\u201316 June 1993, pp. 88\u201398 (1993)","DOI":"10.1145\/154630.154640"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S0956796800003889","volume":"11","author":"ND Jones","year":"2001","unstructured":"Jones, N.D.: The expressive power of higher-order types or, life without CONS. J. Funct. Program. 11(1), 5\u201394 (2001)","journal-title":"J. Funct. Program."},{"key":"8_CR8","volume-title":"Partial Evaluation and Automatic Program Generation","author":"ND Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, Upper Saddle River (1993)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-47018-2_5","volume-title":"Partial Evaluation","author":"Michael Leuschel","year":"1999","unstructured":"Leuschel, M.: Logic program specialisation. In: Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Copenhagen, Denmark, June 29\u2013July 10 1998, pp. 155\u2013188 (1998)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.ic.2014.01.005","volume":"235","author":"M Leuschel","year":"2014","unstructured":"Leuschel, M., Vidal, G.: Fast offline partial evaluation of logic programs. Inf. Comput. 235, 70\u201397 (2014)","journal-title":"Inf. Comput."},{"issue":"3&4","key":"8_CR11","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"JW Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. J. Log. Program. 11(3&4), 217\u2013242 (1991)","journal-title":"J. Log. Program."},{"key":"8_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139021326","volume-title":"Programming with Higher-Order Logic","author":"D Miller","year":"2012","unstructured":"Miller, D., Nadathur, G.: Programming with Higher-Order Logic, 1st edn. Cambridge University Press, New York (2012)","edition":"1"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Mitchell, N., Runciman, C.: Losing functions without gaining data: another look at defunctionalisation. In: Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, Haskell 2009, Edinburgh, Scotland, UK, 3 September 2009, pp. 13\u201324 (2009)","DOI":"10.1145\/1596638.1596641"},{"key":"8_CR14","unstructured":"Nelan, G.: Firstification. Ph.D. thesis, Arizona State University (1991)"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S1571-0661(04)80355-4","volume":"64","author":"BJ Pope","year":"2002","unstructured":"Pope, B.J., Naish, L.: Specialisation of higher-order functions for debugging. Electr. Notes Theor. Comput. Sci. 64, 277\u2013291 (2002)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Ramos, J.G., Silva, J., Vidal, G.: Fast narrowing-driven partial evaluation for inductively sequential programs. In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, 26\u201328 September 2005, pp. 228\u2013239 (2005)","DOI":"10.1145\/1090189.1086394"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proceedings of the 25th ACM National Conference, pp. 717\u2013740. ACM (1972)","DOI":"10.1145\/800194.805852"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Warren, D.S.: Efficient execution of HiLog in WAM-based prolog implementations. In: Proceedings of the 12th International Conference on Logic Programming, Tokyo, Japan, 13\u201316 June 1995, pp. 349\u2013363 (1995)","DOI":"10.7551\/mitpress\/4298.003.0039"},{"issue":"2","key":"8_CR19","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1017\/S0960129500001419","volume":"2","author":"JC Shepherdson","year":"1992","unstructured":"Shepherdson, J.C.: Unfold\/fold transformations of logic programs. Math. Struct. Comput. Sci. 2(2), 143\u2013157 (1992)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20132","key":"8_CR20","first-page":"157","volume":"12","author":"T Swift","year":"2012","unstructured":"Swift, T., Warren, D.S.: XSB: extending prolog with tabled logic programming. TPLP 12(1\u20132), 157\u2013187 (2012)","journal-title":"TPLP"},{"key":"8_CR21","first-page":"441","volume":"10","author":"DH Warren","year":"1982","unstructured":"Warren, D.H.: Higher-order extensions to prolog-are they needed. Machine Intell. 10, 441\u2013454 (1982)","journal-title":"Machine Intell."}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-13838-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T00:48:20Z","timestamp":1721004500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-13838-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030138370","9783030138387"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-13838-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Frankfurt\/Main","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ppdp-lopstr-18.cs.uni-frankfurt.de\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}