{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T09:37:19Z","timestamp":1648719439927},"reference-count":10,"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\/bf03037141","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:58:38Z","timestamp":1240369118000},"page":"259-277","source":"Crossref","is-referenced-by-count":1,"title":["Competitive partial evaluation"],"prefix":"10.1007","volume":"6","author":[{"given":"Akikazu","family":"Takeuchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037141_CR1","first-page":"415","volume-title":"Information Processing 86","author":"A. Takeuchi","year":"1986","unstructured":"Takeuchi, A. and Furukawa, K., \u201cPartial Evaluation of Prolog Programs ans Its Application to Meta Programming\u201d inInformation Processing 86 (H.-J. Kugler ed.), North-Holland, Amsterdam, pp. 415\u2013420, 1986."},{"key":"BF03037141_CR2","first-page":"415","volume-title":"Information Processing 86","author":"S. Safra","year":"1986","unstructured":"Safra, S. and Shapiro, E., \u201cMeta Interpreters for Real,\u201d inInformation Processing 86 (H.-J. Kugler ed.), North-Holland, Amsterdam, pp. 415\u2013420, 1986."},{"key":"BF03037141_CR3","unstructured":"Fujita, H., \u201cOn Automating Partial Evaluation of Prolog Programs,\u201dICOT Technical Memorandum, TM-250, 1987 [in Jananese]."},{"key":"BF03037141_CR4","unstructured":"Futamura, Y., \u201cLogic Dependent Partial Computation,\u201dThe Third Meeting on Program Transformation and Synthesis, Japan Society for Software Science and Technology, 1987 [in Japanese]."},{"key":"BF03037141_CR5","unstructured":"Fujita, H., \u201cAn Algorithm for Partial Evaluation with Constraints,\u201dICOT Technical Memorandum, TM-367, 1987 [in Japanese]."},{"key":"BF03037141_CR6","unstructured":"Tamaki, H. and Sato, T., \u201cUnfold\/Fold Transformation of Logic Programs,\u201dProc. of The Second International Logic Programming Conference, Uppsala, pp. 127\u2013138, 1984."},{"key":"BF03037141_CR7","unstructured":"Jones, N. D., \u201cChallenging Problems,\u201dprivate communication, 1987."},{"key":"BF03037141_CR8","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C., \u201cRETE: A Fast Algorithm for the Many Pattern\/Many Object Pattern Match Problem,\u201dArtificial Intelligence, 19, pp. 17\u201337, 1982.","journal-title":"Artificial Intelligence"},{"key":"BF03037141_CR9","unstructured":"Fujita, H. and Furukawa, K., \u201cA Self-Applicable Partial Evaluator and Its Use in Incremental Compilation,\u201dICOT Technical Report, TR-250, 1987."},{"key":"BF03037141_CR10","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF03037421","volume":"1","author":"Y. Matsumoto","year":"1983","unstructured":"Matsumoto, Y., Tanaka, H., Hirakawa, H., Miyoshi, H. and Yasukawa, H., \u201cBUP: A Bottom-UP Parser Embedded in Prolog,\u201dNew Generation Computing, 1, 145\u2013158, 1983.","journal-title":"New Generation Computing"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037141.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037141\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:30Z","timestamp":1558572750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037141"}},"subtitle":["Some remaining problems of partial evaluation"],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":10,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF03037141"],"URL":"https:\/\/doi.org\/10.1007\/bf03037141","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}