{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:13:16Z","timestamp":1761610396866,"version":"build-2065373602"},"reference-count":11,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4958,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000]]},"DOI":"10.1016\/s1571-0661(05)80636-x","type":"journal-article","created":{"date-parts":[[2005,4,24]],"date-time":"2005-04-24T07:16:06Z","timestamp":1114326966000},"page":"157-162","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"title":["Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN"],"prefix":"10.1016","volume":"30","author":[{"given":"Michael","family":"Leuschel","sequence":"first","affiliation":[]},{"given":"Jesper","family":"J\u00f8rgensen","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80636-X_BIB1","series-title":"Proceedings of the European Symposium on Programming (ESOP'98), LNCS 1381","first-page":"27","article-title":"A polyvariant binding-time analysis for off-line partial deduction","author":"Bruynooghe","year":"1998"},{"key":"10.1016\/S1571-0661(05)80636-X_BIB2","series-title":"Logic Programming: Proceedings of the North American Conference","first-page":"1090","article-title":"A first-order semantics of higher-order logic programming constructs","author":"Chen","year":"1989"},{"issue":"2 & 3","key":"10.1016\/S1571-0661(05)80636-X_BIB3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0743-1066(99)00030-8","article-title":"Conjunctive partial deduction: Foundations, control, algorithms and experiments","volume":"41","author":"De Schreye","year":"1999","journal-title":"The Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(05)80636-X_BIB4","unstructured":"C. K. Holst. Syntactic currying: yet another approach to partial evaluation. Technical report, DIKU, Department of Computer Science, University of Copenhagen, 1989."},{"key":"10.1016\/S1571-0661(05)80636-X_BIB5","series-title":"Proceedings of the 1996 Dagstuhl Seminar on Partial Evaluation, LNCS 1110","first-page":"238","article-title":"Efficiently generating efficient generating extensions in Prolog","author":"J\u00f8rgensen","year":"1996"},{"key":"10.1016\/S1571-0661(05)80636-X_BIB6","unstructured":"M. Leuschel. The ecce partial deduction system and the dppd library of benchmarks. Obtainable via http:\/\/www.ecs.soton.ac.uk\/~mal, 1996."},{"key":"10.1016\/S1571-0661(05)80636-X_BIB7","article-title":"Efficient specialisation in Prolog using a handwritten compiler generator","author":"Leuschel","year":"1999","journal-title":"Technical Report DSSE-TR-99-6, Department of Electronics and Computer Science, University of Southampton"},{"issue":"1","key":"10.1016\/S1571-0661(05)80636-X_BIB8","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1145\/271510.271525","article-title":"Controlling generalisation and polyvariance in partial deduction of normal logic programs","volume":"20","author":"Leuschel","year":"1998","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(05)80636-X_BIB9","doi-asserted-by":"crossref","unstructured":"J. Martin and M. Leuschel. Sonic partial deduction. In Proceedings of the Third International Ershov Conference on Perspectives of System Informatics, LNCS 1755, Novosibirsk, Russia, 1999. Springer-Verlag. To appear.","DOI":"10.1007\/3-540-46562-6_9"},{"issue":"1","key":"10.1016\/S1571-0661(05)80636-X_BIB10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF03038271","article-title":"Mixtus: An automatic partial evaluator for full Prolog","volume":"12","author":"Sahlin","year":"1993","journal-title":"New Generation Computing"},{"year":"1986","series-title":"The Art of Prolog","author":"Sterling","key":"10.1016\/S1571-0661(05)80636-X_BIB11"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610580636X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610580636X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:47Z","timestamp":1761610127000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610580636X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000]]}},"alternative-id":["S157106610580636X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80636-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80636-X","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}