{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:46:38Z","timestamp":1693856798995},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1988,9]]},"DOI":"10.1007\/bf03037134","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T22:58:38Z","timestamp":1240354718000},"page":"119-141","source":"Crossref","is-referenced-by-count":12,"title":["Mixed computation of Prolog programs"],"prefix":"10.1007","volume":"6","author":[{"given":"David A.","family":"Fuller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samson","family":"Abramsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037134_CR1","unstructured":"Aho, A. V. and Ullman, D. J.,Principles of Compiler Design, Addison-Wesley, 1979."},{"key":"BF03037134_CR2","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. and Ramakrishnan, R., \u201cAn Amateur\u2019s Introduction to Recursive Query Processing Strategies,\u201dProceedings of SIGMOD, 1986.","DOI":"10.1145\/16894.16859"},{"key":"BF03037134_CR3","doi-asserted-by":"crossref","unstructured":"Beckman, L., Haraldson, A., Oskarsson, O. and Sandewall, E., \u201cA Partial Evaluator, and Its Use as a Programming Tool,\u201dArtificial Intelligence, 7, North-Holland, pp. 319\u2013357, 1976.","DOI":"10.1016\/0004-3702(76)90011-4"},{"key":"BF03037134_CR4","series-title":"Research Report, DoC79\/59","volume-title":"Predicate Logic as a Computational Formalism","author":"K. L. Clark","year":"1979","unstructured":"Clark, K. L., \u201cPredicate Logic as a Computational Formalism,\u201dResearch Report, DoC79\/59, Dept. of Computing, Imperial College of Science and Technology, London, 1979."},{"key":"BF03037134_CR5","doi-asserted-by":"crossref","unstructured":"Ershov, A. P. and Itkin, V. E., \u201cCorrectness of Mixed Computation in Algol-Like Programs,\u201dLecture Notes in Computer Science, Vol. 53 Springer-Verlag, pp. 59\u201377, 1977.","DOI":"10.1007\/3-540-08353-7_128"},{"key":"BF03037134_CR6","unstructured":"Ershov, A. P., \u201cOn the Essence of Compilation,\u201d inFormal Descriptions of Programming Concepts (E. J. Neuhold, ed.), North-Holland, 1978."},{"key":"BF03037134_CR7","doi-asserted-by":"crossref","unstructured":"Ershov, A. P., \u201cMixed Computation: Potential Applications and Problems for Study,\u201dTheoretical Computer Science, 18, North-Holland, pp. 41\u201367, 1982.","DOI":"10.1016\/0304-3975(82)90111-6"},{"key":"BF03037134_CR8","series-title":"Research Report, DoC 87\/12","volume-title":"Mixed Computation of Prolog Programs: An Extended Paper","author":"D. A. Fuller","year":"1987","unstructured":"Fuller, D. A. and Abramsky, S., \u201cMixed Computation of Prolog Programs: An Extended Paper,\u201dResearch Report, DoC 87\/12, Dept. of Computing, Imperial College of Science and Technology, London, June, 1987."},{"key":"BF03037134_CR9","series-title":"Research Report","volume-title":"Towards Efficient Self-Applicable Partial Evaluation in Prolog","author":"D. A. Fuller","year":"1988","unstructured":"Fuller, D. A., \u201cTowards Efficient Self-Applicable Partial Evaluation in Prolog,\u201dResearch Report, Dept. of Computing, Imperial College of Science and Technology, London, February, 1988."},{"issue":"No. 5","key":"BF03037134_CR10","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., \u201cPartial Evaluation of Computation Process\u2014An Approach to a Compiler-Compiler,\u201dSystems, Computers, Controls, Vol. 2, No. 5, pp. 45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"key":"BF03037134_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-11980-9_13","volume":"147","author":"Y. Futamura","year":"1982","unstructured":"Futamura, Y., \u201cPartial Computation of Programs,\u201dLecture Notes in Computer Science, Vol. 147, Springer-Verlag, pp. 1\u201335, 1982.","journal-title":"Lecture Notes in Computer Science"},{"key":"BF03037134_CR12","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-15976-2_6","volume":"202","author":"N. D. Jones","year":"1985","unstructured":"Jones, N. D., Sestoft, P. and Sondergaard, H., \u201cAn Experiment in Partial Evaluation: The Generation of a Compiler Generator,\u201dLecture Notes in Computer Science, Vol. 202, Dijon, France, pp. 124\u2013140, 1985.","journal-title":"Lecture Notes in Computer Science"},{"key":"BF03037134_CR13","unstructured":"Jones, N. D., \u201cAutomatic program specialization: a re-examination from first principles,\u201dDIKU Research Report, University of Copenhagen, October, 1987."},{"key":"BF03037134_CR14","unstructured":"Jones, N. D., \u201cFlow Analysis of Lazy Higher Order Functional Programs,\u201d inAbstract Interpretation of Declarative Languages (S. Abramsky and C. Hankin, eds.), Wiley, 1987."},{"key":"BF03037134_CR15","volume-title":"Information Processing (IEIP74)","author":"R. Kowalski","year":"1974","unstructured":"Kowalski, R., \u201cPredicate Logic as a Programming Language,\u201d inInformation Processing (IEIP74), (H. J. Kugler, ed.) Elsevier Science, North Holland, 1974."},{"key":"BF03037134_CR16","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., inFoundations of Logic Programming, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"BF03037134_CR17","unstructured":"Sestoft, P., \u201cThe Structure of a Self-Applicable Partial Evaluator,\u201dResearch Report, 85\/11, DIKU, University of Copenhagen, 1985."},{"key":"BF03037134_CR18","first-page":"279","volume-title":"Information Processing (IFIP 86)","author":"A. Takeuchi","year":"1986","unstructured":"Takeuchi, A., \u201cAffinity between Meta Interpreters and Partial Evaluation,\u201d inInformation Processing (IFIP 86), (H. J. Kugler, ed.), Elsevier Science, North Holland, pp. 279\u2013282, 1986."},{"key":"BF03037134_CR19","first-page":"415","volume-title":"Information Processing (IFIP 86)","author":"A. Takeuchi","year":"1986","unstructured":"Takeuchi, A. and Furukawa, K., \u201cPartial Evaluation of Prolog Programs and Its Application of Meta Programming,\u201d inInformation Processing (IFIP 86) (H. J. Kugler, ed.), Elsevier Science, North Holland, pp. 415\u2013420, 1986."},{"issue":"No. 2","key":"BF03037134_CR20","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/954063.954069","volume":"14","author":"V. F. Turchin","year":"1979","unstructured":"Turchin, V. F., \u201cA Supercompiler System based on the Language REFAL,\u201dSIGPLAN Notices, Vol. 14, No. 2 pp. 46\u201354, February, 1979.","journal-title":"SIGPLAN Notices"},{"key":"BF03037134_CR21","unstructured":"Venken, R., \u201cA Prolog Meta-Interpreter for Partial Evaluation and Its Implication to Source to Source Transformation and Query-Optimisation,\u201d inAdvances in Artificial Intelligence (T. O\u2019Shea, ed.), Pisa, Italy, pp. 347\u2013356. September, 1984."},{"key":"BF03037134_CR22","unstructured":"Warren, D. H. D., \u201cLogic Programming and Compiler Writing,\u201dD. A. I. Research Report, No. 44, Edinburgh University, September, 1977."},{"key":"BF03037134_CR23","unstructured":"Warren, D. H. D. \u201cAn improved Prolog implementation which optimises tail recursion,\u201dProc. of the Logic Programming Workshop, Debrecen, Hungary, 1980."},{"key":"BF03037134_CR24","unstructured":"Warren, D., Bowen, D. and Pereira, L., inC-Prolog User\u2019s Manual (F. Pereira, ed.), January, 1985."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037134.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037134\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:30Z","timestamp":1558558350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037134"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":24,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF03037134"],"URL":"https:\/\/doi.org\/10.1007\/bf03037134","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}