{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:19Z","timestamp":1725488899703},"publisher-location":"London","reference-count":22,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197423"},{"type":"electronic","value":"9781447134947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3494-7_16","type":"book-chapter","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T04:16:55Z","timestamp":1362111415000},"page":"221-237","source":"Crossref","is-referenced-by-count":0,"title":["Semantics\u2014based Partial Evaluation of Prolog Programs"],"prefix":"10.1007","author":[{"given":"Brian J.","family":"Ross","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"J.H.Andrews. Logic Programming: Operational Semantics and Proof Theory. PhD thesis, Department of Computer Science, University of Edinburgh, Edinburgh, Scotland, 1991.","DOI":"10.1017\/CBO9780511526534"},{"key":"16_CR2","unstructured":"K. Benkerimi and J. Lloyd. A Partial Evaluation Procedure for Logic Programs. In North American Conference on Logic Programming, pages 343-358, 1990."},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"JS Conery","year":"1985","unstructured":"J.S. Conery and D.F. Kibler. AND Parallelism and Nondeterminism in Logic Programs. New Generation Computing, 3(1): 43\u201370, 1985.","journal-title":"New Generation Computing"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0743-1066(88)90007-6","volume":"5","author":"SK Debray","year":"1988","unstructured":"S.K. Debray and P. Mishra. Denotational and Operational Semantics for Prolog. Journal of Logic Programming, 5: 61\u201391, 1988.","journal-title":"Journal of Logic Programming"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"AP Ershov","year":"1982","unstructured":"A.P. Ershov. Mixed Computation: Potential Applications and Problems for Study. Theoretical Computer Science 18, 18: 41\u201367, 1982.","journal-title":"Theoretical Computer Science 18"},{"issue":"23","key":"16_CR6","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF03037133","volume":"6","author":"H Fujita","year":"1988","unstructured":"H. Fujita and K. Furukawa. A Self-Applicable Partial ? valuator and Its Use in Incremental Compilation. New Generation Computing, 6(2,3): 91\u2013118, 1988.","journal-title":"New Generation Computing"},{"issue":"23","key":"16_CR7","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF03037134","volume":"6","author":"DA Fuller","year":"1988","unstructured":"D.A. Fuller and S. Abramsky. Mixed Computation of Prolog Programs. New Generation Computing, 6(2,3): 119\u2013141, 1988.","journal-title":"New Generation Computing"},{"issue":"5","key":"16_CR8","first-page":"45","volume":"2","author":"Y Futamura","year":"1971","unstructured":"Y. Futamura. Partial evaluation of computation process \u2014 an approach to a compiler-compiler. Systems \u2014Comput. \u2014Controls, 2(5): 45\u201350, 1971.","journal-title":"Systems \u2014Comput. \u2014Controls"},{"issue":"23","key":"16_CR9","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF03037137","volume":"6","author":"L Hascoet","year":"1988","unstructured":"L. Hascoet. Partial Evaluation with Inference Rules. New Generation Computing, 6(2,3): 187\u2013209, 1988.","journal-title":"New Generation Computing"},{"issue":"2","key":"16_CR10","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"ECR Hehner","year":"1984","unstructured":"E.C.R. Hehner. Predicative Programming Part I. Communications of the ACM, 27(2): 134\u2013143, February 1984.","journal-title":"Communications of the ACM"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"E.C.R. Hehner. Predicative Programming Part II. Communications of the ACM, 27(2), February 1984.","DOI":"10.1145\/69610.357990"},{"key":"16_CR12","unstructured":"G. Lindstrom and P. Panangaden. Stream-based execution of logic programs. In Symposium on Logic Programming, Atlantic City, 1984."},{"key":"16_CR13","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial Evaluation in Logic Programming. Technical Report CS-87-09, University of Bristol, December 1987."},{"key":"16_CR14","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"16_CR15","unstructured":"H. Rogers. Theory of Recursive Functions and Effective Computability. MIT Press, 1988."},{"key":"16_CR16","unstructured":"B.J. Ross. The Partial Evaluation of Imperative Programs Using Prolog. In M eta-programming in Logic Programming. MIT Press, 1989."},{"key":"16_CR17","unstructured":"B.J. Ross. An Algebraic Semantics of Prolog Control. PhD thesis, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland, 1991. (forthcoming)."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"B.J. Ross. Using Algebraic Semantics for Proving Prolog Termination and Transformation. In Proc. UK ALP 91, Edinburgh, Scotland, 1991. Springer-Verlag, (forthcoming).","DOI":"10.1007\/978-1-4471-3546-3_8"},{"issue":"23","key":"16_CR19","first-page":"309","volume":"6","author":"P Sestoft","year":"1988","unstructured":"P. Sestoft and A.V. Zamulin. Annotated Bibliography on Partial Evaluation and Mixed Computation. New Generation Computing, 6(2,3): 309\u2013354, 1988.","journal-title":"New Generation Computing"},{"key":"16_CR20","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. Prentice-Hall, 1986."},{"key":"16_CR21","unstructured":"H. Tamaki and T. Sato. A Transformation System for Logic Programs which Preserves Equivalence. Technical Report TR-018, ICOT, Tokyo, Japan, August 1983."},{"issue":"23","key":"16_CR22","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF03037142","volume":"6","author":"R Venken","year":"1988","unstructured":"R. Venken and B. Demoen. A Partial Evaluation System for Prolog: some Practical Considerations. New Generation Computing, 6(2,3): 279\u2013290, 1988.","journal-title":"New Generation Computing"}],"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-3494-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,23]],"date-time":"2020-07-23T00:37:14Z","timestamp":1595464634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3494-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197423","9781447134947"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3494-7_16","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}