{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:56Z","timestamp":1725890876962},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_13","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"184-198","source":"Crossref","is-referenced-by-count":0,"title":["Applications of Unfolding in Prolog Programming"],"prefix":"10.1007","author":[{"given":"John","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Springer-verlag Programming in Prolog","author":"WF Clocksin","year":"1981","unstructured":"Clocksin, W. F., and C. S. Mellish, Programming in Prolog, Springer-Verlag (1981)."},{"key":"13_CR2","volume-title":"On the transformation of a Prolog program to a more efficient binary program","author":"B Demoen","year":"1992","unstructured":"Demoen, B., On the transformation of a Prolog program to a more efficient binary program, Proceedings of the workshop on logic program synthesis and transformation, 1992, Springer-Verlag Workshops in Computing (this volume)."},{"key":"13_CR3","volume-title":"A system for specialising logic programs, Report TR-91-32","author":"J Gallagher","year":"1991","unstructured":"Gallagher, J., A system for specialising logic programs, Report TR-91\u201332, Computer Science Department, University of Bristol, UK, 1991."},{"key":"13_CR4","volume-title":"Specialisation in context","author":"J Gallagher","year":"1992","unstructured":"Gallagher, J., and D. A. de Waal, Specialisation in context, Proceedings of the workshop on logic program synthesis and transformation, 1992, Springer-Verlag Workshops in Computing (this volume)."},{"key":"13_CR5","volume-title":"Uk","author":"J Jones","year":"1991","unstructured":"Jones, J., Prolog, data abstraction, and program transformation: a preliminary report, Research report 91\/1, Department of Computer Science, University of Hull, UK, 1991."},{"key":"13_CR6","first-page":"404","volume-title":"J., Towards a programming methodology founded on partial deduction, Proceedings of the 1990 European Conference on Artificial Intelligence, L. C. Aiello","author":"Komorowski","year":"1990","unstructured":"Komorowski, J., Towards a programming methodology founded on partial deduction, Proceedings of the 1990 European Conference on Artificial Intelligence, L. C. Aiello ( Ed. ), Pitman (1990), 404\u2013409."},{"key":"13_CR7","first-page":"426","volume-title":"Incorporating `programming techniques into Prolog programs, Logic programming: Proceedings of the 1989 North American Conference, E. L. Lush and R. A. Overbeek","author":"A Lakhotia","year":"1989","unstructured":"Lakhotia, A., Incorporating `programming techniques\u2019 into Prolog programs, Logic programming: Proceedings of the 1989 North American Conference, E. L. Lush and R. A. Overbeek ( Eds. ), MIT Press (1989), 426\u2013440."},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.7551\/mitpress\/5510.003.0009","volume-title":"The Practice of Prolog, L. Sterling","author":"A Lakhotia","year":"1990","unstructured":"Lakhotia, A., and L. Sterling, ProMiX: A Prolog partial evaluation system, in The Practice of Prolog, L. Sterling ( Ed. ), MIT Press (1990), 137\u2013179."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF03037513","volume":"8","author":"A Lakhotia","year":"1990","unstructured":"Lakhotia, A., and L. Sterling, How to control unfolding when specializing interpreters, New Generation Computing 8 (1990), 61\u201370.","journal-title":"New Generation Computing"},{"key":"13_CR10","volume-title":"13th May","author":"A Lakhotia","year":"1991","unstructured":"Lakhotia, A., Private communication by email, 13th May, 1991."},{"key":"13_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., and J. C. Shepherdson, Partial evaluation in logic programming, Journal of Logic Programming 11 (1991), 217\u2013242.","journal-title":"Journal of Logic Programming"},{"key":"13_CR12","first-page":"319","volume-title":"Mit Press","author":"S Owen","year":"1989","unstructured":"Owen, S., Issues in the partial evaluation of meta-interpreters, in Meta-Programming in Logic Programming, H. Abramson and M. H. Rogers (Eds.) MIT Press (1989), 319\u2013339."},{"key":"13_CR13","volume-title":"An unfold rule for full Prolog","author":"S Prestwich","year":"1992","unstructured":"Prestwich, S., An unfold rule for full Prolog, Proceedings of the workshop on logic program synthesis and transformation, 1992, Springer-Verlag Workshops in Computing (this volume)."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1145\/115866.115895","volume":"26","author":"M Proietti","year":"1991","unstructured":"Proietti, M., and A. Pettorossi, Semantics preserving transformation rules for Prolog, Symposium on partial evaluation and semantics-based program manipulation, SIGPLAN Notices 26 (1991), 274\u2013284.","journal-title":"Sigplan Notices"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF03037145","volume":"6","author":"P Sestoft","year":"1988","unstructured":"Sestoft, P., and A. V. Zamulin, Annotated bibliography on partial evaluation and mixed computation, New Generation Computing 6 (1988), 309\u2013354.","journal-title":"New Generation Computing"},{"key":"13_CR16","volume-title":"And E. Shapiro","author":"L Sterling","year":"1986","unstructured":"Sterling, L., and E. Shapiro, The Art of Prolog, MIT Press (1986)."},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF03037142","volume":"6","author":"R Venken","year":"1988","unstructured":"Venken, R., and B. Demoen, A partial evaluation system for Prolog: some practical considerations, New Generation Computing 6 (1988), 279\u2013290.","journal-title":"New Generation Computing"},{"issue":"3","key":"13_CR18","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/131295.131299","volume":"35","author":"DS Warren","year":"1992","unstructured":"Warren, D. S., Memoing for logic programs, Communications of the ACM, 35 (3) (1992), 94\u2013111.","journal-title":"Communications of the Acm"},{"key":"13_CR19","volume-title":"Dated May","author":"PF Wilk","year":"1984","unstructured":"Wilk, P. F., Comment in C-Prolog library file `Unfold\u2019, dated May, 1984."}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T03:35:02Z","timestamp":1714793702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}