{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T19:46:12Z","timestamp":1693856772364},"reference-count":32,"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\/bf03037139","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:58:38Z","timestamp":1240369118000},"page":"227-247","source":"Crossref","is-referenced-by-count":16,"title":["Partial evaluation of metaprograms in a \u201cmultiple worlds\u201d logic language"],"prefix":"10.1007","volume":"6","author":[{"given":"Giorgio","family":"Levi","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Sardu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037139_CR1","unstructured":"Bowen, K. A. and Kowalski, R. A., \u201cAmalgamating language and metalanguage in logic programming,\u201d inLogic Programming (K. L. Clark and S.-A. Tarnlund, eds., Academic Press, pp. 153\u2013172, 1982."},{"key":"BF03037139_CR2","unstructured":"Coscia, P. et al., \u201cThe Epsilon Knowledge Base Management System: architecture and Data Base access optimization,\u201dWorkshop on Logic Programming and Data Bases, Venezia, Italy, December, 1986."},{"key":"BF03037139_CR3","unstructured":"Coscia, P., Franceschi, P., Levi, G., Sardu, G. and Torre, L., \u201cObject level reflection of inference rules by partial evaluation\u201d inMeta-Level Architectures and Reflection (D. Nardi and P. Maes, eds.), North-Holland, 1987."},{"issue":"No. 2","key":"BF03037139_CR4","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A. Ershov","year":"1977","unstructured":"Ershov, A., \u201cOn the partial evaluation principle,\u201dInformation Processing Letters, Vol. 6, No. 2, pp. 38\u201341, 1977.","journal-title":"Information Processing Letters"},{"key":"BF03037139_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A. Ershov","year":"1982","unstructured":"Ershov, A., \u201cMixed Computation: Potential applications and problems for study,\u201dTheoretical Computer Science, 18, pp. 41\u201367, 1982.","journal-title":"Theoretical Computer Science"},{"key":"BF03037139_CR6","volume-title":"Propriet\u00e0 della valutazione parziale in programmazione logica (in Italian)","author":"L. Fanti","year":"1986","unstructured":"Fanti, L. and Zanobetti, S.,Propriet\u00e0 della valutazione parziale in programmazione logica (in Italian), Tesi di laurea, Universit\u00e0 di Pisa, Italy, 1986."},{"key":"BF03037139_CR7","volume-title":"Workshop on Partial Evaluation and Mixed Computation","author":"H. Fujita","year":"1987","unstructured":"Fujita, H. and Furukawa, K., \u201cA self-applicable partial evaluator and its use in incremental compilation,\u201d inWorkshop on Partial Evaluation and Mixed Computation (D. Bj\u00f8rner, A. P. Ershov and N. D. Jones, eds.), Gl. Avernaes, Denmark, October, 1987. [to appear inNew Generation Computing]"},{"key":"BF03037139_CR8","unstructured":"Furukawa, K., Takeuchi, A., Kunifuji, S., Yasukawa, H., Ohki, M. and Ueda, K., \u201cMandala: A logic based knowledge programming system,\u201dInternational Conference on Fifth Generation Computer Systems, Tokyo, Japan, pp. 613\u2013622, 1984."},{"issue":"No. 5","key":"BF03037139_CR9","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":"BF03037139_CR10","unstructured":"Gallagher, J., \u201cTransforming logic programs by specializing interpreters,\u201dECAI86. 7th European Conference on Artificial Intelligence, Brighton, U. K., pp. 109\u2013122, 1986."},{"key":"BF03037139_CR11","volume-title":"Workshop on Partial Evaluation and Mixed Computation","author":"J. Gallagher","year":"1987","unstructured":"Gallagher, J. and Codish, M., \u201cSpecialisation of Prolog programs using abstract interpretation,\u201dWorkshop on Partial Evaluation and Mixed Computation (D. Bj\u00f8rner, A. P. Ershov and N. D. Jones, eds.), Gl. Avernaes, Denmark, October, 1987. [to appear inNew Generation Computing]"},{"key":"BF03037139_CR12","unstructured":"Ghelfo, S. and Levi, G., \u201cA partial evaluator for metaprograms in a multiple theories logic language,\u201dESPRIT Project 530 (Epsilon) Report, October, 1986."},{"key":"BF03037139_CR13","doi-asserted-by":"crossref","unstructured":"Jones, N.D. Sestoft, P. and Sondergaard, H., \u201cAn experiment in partial evaluation: The generation of a compiler-compiler,\u201d inRewriting Techniques and Applications (J.-P. Jouannaud, ed.),Lecture Notes in Computer Science, Vol. 202, Springer-Verlag, pp. 124\u2013140, 1985.","DOI":"10.1007\/3-540-15976-2_6"},{"key":"BF03037139_CR14","series-title":"Technical Report, UPMAIL","volume-title":"A partial evaluator, of Lisp written in a Prolog intended to be applied to the Prolog and itself which in turn is intended to be given to itself together with the Prolog to produce a Prolog compiler","author":"K. M. Kahn","year":"1982","unstructured":"Kahn, K. M., \u201cA partial evaluator, of Lisp written in a Prolog intended to be applied to the Prolog and itself which in turn is intended to be given to itself together with the Prolog to produce a Prolog compiler,\u201dTechnical Report, UPMAIL, Uppsala University, Sweden, March, 1982."},{"key":"BF03037139_CR15","unstructured":"Kahn, K. M. and Carlsson, M., \u201cThe compilation of Prolog programs without the use of Prolog compiler,\u201dInternational Conference on Fifth Generation Computer Systems, Tokyo, Japan, pp. 348\u2013355, 1984."},{"key":"BF03037139_CR16","unstructured":"Kauffmann, H. and Grumbach, A., \u201cRepresenting and manipulating knowledge within \u201cworlds\u201d,\u201dProc. First Int\u2019l Conf. on Expert Data Base Systems (L. Kershberg., ed), pp. 61\u201373, 1986."},{"key":"BF03037139_CR17","series-title":"Linkoping Studies in Science and Technology Dissertations","volume-title":"A specification of an abstract PROLOG machine and its application to partial evaluation","author":"H. J. Komorowski","year":"1981","unstructured":"Komorowski, H. J., \u201cA specification of an abstract PROLOG machine and its application to partial evaluation,\u201dLinkoping Studies in Science and Technology Dissertations, N. 69, Linkoping University, Sweden, 1981."},{"key":"BF03037139_CR18","doi-asserted-by":"crossref","unstructured":"Komorowski, H. J., \u201cPartial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation in the case of PROLOG,\u201dNinth ACM Symp. on Principles of Programming Languages, Albuquerque, New Mexico, pp. 255\u2013267, 1982.","DOI":"10.1145\/582153.582181"},{"key":"BF03037139_CR19","volume-title":"Workshop on Partial Evaluation and Mixed Computation","author":"A. Lakhotia","year":"1987","unstructured":"Lakhotia, A. and Sterling, L., \u201cComposing logic programs with clausal join,\u201dWorkshop on Partial Evaluation and Mixed Computation (D. Bj\u00f8rner, A. P. Ershov and N. D. Jones, eds.), Gl. Avernaes, Denmark, October, 1987. [to appear inNew Generation Computing]"},{"key":"BF03037139_CR20","unstructured":"Levi, G., Modesti, M. and Kouloumdjian, J., \u201cStatus and evolution of the Epsilon prototype,\u201dProc. ESPRIT Technical Week, Bruxelles, Belgium, 1987."},{"key":"BF03037139_CR21","unstructured":"Levi, G. and Sardu, G., \u201cMeta-level definition and compilation of inference engines in Epsilon,\u201dESPRIT Project Epsilon (P 530) deliverable 14a, October, 1987."},{"key":"BF03037139_CR22","unstructured":"O\u2019Keefe, R. A., \u201cOn the treatment of cuts in Prolog source-level tools,\u201dProc. Int\u2019l Symp. on Logic Programming, Boston, Mass., 1985."},{"key":"BF03037139_CR23","volume-title":"Partial evaluation of Concurrent Prolog and its implications","author":"S. Safra","year":"1986","unstructured":"Safra, S., \u201cPartial evaluation of Concurrent Prolog and its implications,\u201dMaster\u2019s Thesis, Weizmann Institute of Science, Rehovot, Israel, July CS86-24, 1986."},{"key":"BF03037139_CR24","unstructured":"Safra, S. and Shapiro, E., \u201cMeta-interpreters for real,\u201d inInformation Processing 86 (H.-J. Kugler, ed.), Dublin, Ireland, North-Holland, pp. 271\u2013278, 1986."},{"issue":"No. 8","key":"BF03037139_CR25","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/MC.1986.1663307","volume":"19","author":"E. Shapiro","year":"1986","unstructured":"Shapiro, E., \u201cConcurrent Prolog: A progress report,\u201dComputer, Vol. 19, No. 8, pp. 44\u201358, 1986.","journal-title":"Computer"},{"key":"BF03037139_CR26","unstructured":"Sterling, L., \u201cMeta-interpreters for expert systems,\u201dCAISR TR 134-85, Case Western Reserve University, 1985."},{"key":"BF03037139_CR27","unstructured":"Sterling, L. and Beer, R. D., \u201cIncremental flavor-mixing of meta-interpreters for expert system construction,\u201dProc. 3rd Symp. on Logic Programming, Salt Lake City, Utah, pp. 20\u201327, 1986."},{"key":"BF03037139_CR28","unstructured":"Takeuchi, A. and Furukawa, K., \u201cPartial evaluation of PROLOG programs and its application to metaprogramming,\u201dICOT Tech. Report, 1985."},{"key":"BF03037139_CR29","unstructured":"Takeuchi, A. and Furukawa, K., \u201cPartial evaluation of PROLOG programs and its application to metaprogramming,\u201d inInformation Processing 86 (H.-J. Kugler, ed.), Dublin, Ireland, North-Holland, pp. 415\u2013420, 1986."},{"key":"BF03037139_CR30","unstructured":"Takeuchi, A., \u201cAffinity between metainterpreters and partial evaluation,\u201d inInformation Processing 86 (H.-J. Kugler, ed), Dublin, Ireland, North-Holland, pp. 279\u2013282, 1986."},{"key":"BF03037139_CR31","unstructured":"Venken, R., \u201cA PROLOG meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimization, inECAI-84: Advances in Artificial Intelligence (T. O\u2019Shea, ed.), Pisa, Italy, North-Holland, pp. 91\u2013100, 1984."},{"key":"BF03037139_CR32","volume-title":"Workshop on Partial Evaluation and Mixed Computation","author":"R. Venken","year":"1987","unstructured":"Venken, R. and Demoen, B., \u201cA partial evaluation system for PROLOG: Theoretical and practical considerations,\u201d inWorkshop on Partial Evaluation and Mixed Computation (D. Bj\u00f8rner, A. P. Ershov and N. D. Jones, eds.), Gl. Avernaes, Denmark, October, 1987. [to appear inNew Generation Computing]"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037139.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037139\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037139","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\/BF03037139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":32,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF03037139"],"URL":"https:\/\/doi.org\/10.1007\/bf03037139","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}