{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:41:13Z","timestamp":1726407673910},"publisher-location":"London","reference-count":10,"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_15","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T06:49:46Z","timestamp":1356850186000},"page":"214-227","source":"Crossref","is-referenced-by-count":13,"title":["Logimix: A Self-Applicable Partial Evaluator for Prolog"],"prefix":"10.1007","author":[{"given":"Torben \u00c6.","family":"Mogensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Bondorf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Tolls. Addison-Wesley,1986."},{"key":"15_CR2","unstructured":"A. Bondorf. Self-Applicable Partical Evaluation. PhD thesis, DIKU, University of Copenhagen, Denmark, 1990. Revised version: DIKU Report 90\/17."},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0167-6423(91)90002-F","volume":"16","author":"]A.Bondorf and O.Danvy","year":"1991","unstructured":"]A.Bondorf and O.Danvy. Automatic autoprojection of revursive equations with global variables and abstract data types. Science of Computer Programming, 16: 151\u2013195, 1991.","journal-title":"Science of Computer Programming"},{"key":"15_CR4","unstructured":"A.Bondorf, F. Frauendorf, and M.Richter.An Experiment in Automatic Self-Applicable Partical Exaluation of Prolog. Techinical Report 335, Lehrstuhl Informatik V, University of Dortmund, Germany,1990.20 pages."},{"issue":"23","key":"15_CR5","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 evaluatior and its ues in incremental compilation. New Generation Computing, 6 (2,3): 91\u2013118, 1988.","journal-title":"New Generation Computing"},{"key":"15_CR6","unstructured":"D.A. Fuller. Partial Evaluation and Mix Computation in Logic Programming. PhD thesis, Imperial College, London,England, February 1989.222pages."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"C.K. Holst and J. Hughed. Towards binfing-time improvement for free. In S.L. Peyton Jones, G, Hutton, and C. Kehler Holst, editor, Functional Programming, Glasgow 1990, pages 83\u2013100,Springer-Verlag,1991.","DOI":"10.1007\/978-1-4471-3810-5_8"},{"issue":"1","key":"15_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"ND Jones","year":"1989","unstructured":"N.D Jones, P.Sestoft, and H. Sondergaard. Mix: a self-applicable partial evaluator for experiments in com;iler generation. Lisp and Symbolic Computation, 2 (1): 9\u201350, 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"15_CR9","unstructured":"J.W. Lloyd and J.C. Shepherdson. Pratical Evaluation in Logic Programming. Techincal ReportCS-87\u201309 Department of Computer Science, University of Bristol, England, 1987. Revises version in [10]."},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"J.W. Lloyd and J.C. Shepherdson. Partical evaluation in logic Programming. Journal of Logic Programming, 11: 217\u2013242, 1991.","journal-title":"Journal of Logic Programming"}],"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_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T02:56:43Z","timestamp":1557457003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}