{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:25:34Z","timestamp":1726406734570},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_21","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:07Z","timestamp":1330199707000},"page":"386-413","source":"Crossref","is-referenced-by-count":0,"title":["Extended abstract of MIX: A self-applicable partial evaluator for experiments in compiler generation"],"prefix":"10.1007","author":[{"given":"Neil D.","family":"Jones","sequence":"first","affiliation":[]},{"given":"Peter","family":"Sestoft","sequence":"additional","affiliation":[]},{"given":"Harald","family":"S\u00f8ndergaard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"issue":"4","key":"21_CR1","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(76)90011-4","volume":"7","author":"L. Beckman","year":"1976","unstructured":"Beckman, L. et al., A partial evaluator, and its use as a programming tool, Artificial Intelligence 7, 4 (1976) 319\u2013357","journal-title":"Artificial Intelligence"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF00271642","volume":"21","author":"M. A. Bulyonkov","year":"1984","unstructured":"Bulyonkov, M. A., Polyvariant mixed computation for analyzer programs, Acta Informatica 21 (1984) 473\u2013484","journal-title":"Acta Informatica"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, P. and R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. Fourth ACM POPL Symp., Los Angeles, California 1977, 238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"21_CR4","series-title":"DIKU student report","volume-title":"Parsers and partial evaluation: An experiment","author":"H. Dybkj\u00e6r","year":"1985","unstructured":"Dybkj\u00e6r, H., Parsers and partial evaluation: An experiment. DIKU student report No. 85-7-15, University of Copenhagen, Denmark, 1985"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Emanuelson, P. and A. Haraldsson, On compiling embedded languages in Lisp, Proc. 1980 Lisp Conf., Stanford, California (1980) 208\u2013215","DOI":"10.1145\/800087.802808"},{"key":"21_CR6","unstructured":"Ershov, A. P., On the essence of compilation, Formal Description of Programming Concepts (ed. E. J. Neuhold), North-Holland 1978, 391\u2013418"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0304-3975(82)90111-6","volume":"18","author":"A. P. Ershov","year":"1982","unstructured":"Ershov, A. P., Mixed computation: Potential applications and problems for study, Theoretical Computer Science 18 (1982) 41\u201367","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"21_CR8","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., Partial evaluation of computation process \u2014 an approach to a compiler-compiler, Systems, Computers, Controls 2, 5 (1971) 45\u201350","journal-title":"Systems, Computers, Controls"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Ganzinger, H. and N. D. Jones (eds.), Programs as Data Objects, Lecture Notes in Computer Science 217, Springer-Verlag 1986","DOI":"10.1007\/3-540-16446-4"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Haraldsson, A., A partial evaluator, and its use for compiling iterative statements in Lisp, Proc. Fifth ACM POPL Symp., Tucson, Arizona 1978, 195\u2013202","DOI":"10.1145\/512760.512781"},{"key":"21_CR11","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., P. Sestoft, and H. S\u00f8ndergaard, An experiment in partial evaluation: The generation of a compiler generator, Rewriting Techniques and Applications (ed. J.-P. Jouannaud), Lecture Notes in Computer Science 202, Springer-Verlag 1985, 124\u2013140","journal-title":"Lecture Notes in Computer Science"},{"key":"21_CR12","unstructured":"Kahn, K. M., A partial evaluator of Lisp programs written in Prolog, Proc. First Int. Logic Programming Conf. (ed. M. Van Caneghem), Marseille, France 1982, 19\u201325"},{"key":"21_CR13","unstructured":"Kahn, K. M. and M. Carlsson, The compilation of Prolog programs without the use of a Prolog compiler, Proc. Int. Conf. Fifth Generation Computer Systems, Tokyo, Japan 1984, 348\u2013355"},{"key":"21_CR14","unstructured":"Kleene, S. C., Introduction to Metamathematics, Van Nostrand 1952"},{"key":"21_CR15","series-title":"Link\u00f6ping 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., A Specification of an Abstract Prolog Machine and Its Application to Partial Evaluation, Link\u00f6ping Studies in Science and Technology Dissertations 69, University of Link\u00f6ping, Sweden 1981"},{"key":"21_CR16","unstructured":"Kugler, H.-J. (ed.), Information Processing 86, Proc. IFIP 86 Conf., North-Holland 1986"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Lombardi, L. A., Incremental computation, Advances in Computers 8 (ed. F. L. Alt and M. Rubinoff), Academic Press 1967, 247\u2013333","DOI":"10.1016\/S0065-2458(08)60698-1"},{"key":"21_CR18","volume-title":"The Application of Partial Evaluation to Ray-Tracing","author":"T. \u00c6. Mogensen","year":"1986","unstructured":"Mogensen, T. \u00c6, The Application of Partial Evaluation to Ray-Tracing, Master's thesis, University of Copenhagen, Denmark, 1986"},{"key":"21_CR19","series-title":"DAIMI Report","volume-title":"SIS \u2014 Semantics Implementation System, Reference Manual and User Guide","author":"P. D. Mosses","year":"1979","unstructured":"Mosses, P. D., SIS \u2014 Semantics Implementation System, Reference Manual and User Guide, DAIMI Report MD-30, University of Aarhus, Denmark 1979"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Paulson, L., A semantics-directed compiler generator, Proc. Ninth ACM POPL Symp., Albuquerque, New Mexico 1982, 224\u2013233","DOI":"10.1145\/582153.582178"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Rees, J. and W. Clinger (eds.), Revised3 report on the algorithmic language Scheme, SIGPLAN Notices 21, 12 (1986) 37\u201379","DOI":"10.1145\/15042.15043"},{"key":"21_CR22","unstructured":"Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill 1967"},{"key":"21_CR23","unstructured":"Safra, S. and E. Shapiro, Meta interpreters for real, in [Kugler 1986], 271\u2013278"},{"key":"21_CR24","doi-asserted-by":"crossref","unstructured":"Sestoft, P., The structure of a self-applicable partial evaluator, in [Ganzinger and Jones 1986], 236\u2013256","DOI":"10.1007\/3-540-16446-4_14"},{"key":"21_CR25","unstructured":"Takeuchi, A. and K. Furukawa, Partial evaluation of Prolog programs and its application to meta programming, in [Kugler 1986], 415\u2013420"},{"key":"21_CR26","volume-title":"Bazisnyi Refal i yego Realizatsiya na Vychislitelnykh Mashinakh","author":"TsNIPIASS","year":"1977","unstructured":"TsNIPIASS, Bazisnyi Refal i yego Realizatsiya na Vychislitelnykh Mashinakh, TsNIPIASS, Gosstroi SSSR, Moscow 1977"},{"issue":"2","key":"21_CR27","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/954063.954069","volume":"14","author":"V. F. Turchin","year":"1979","unstructured":"Turchin, V. F., A supercompiler system based on the language Refal, SIGPLAN Notices 14, 2 (1979) 46\u201354","journal-title":"SIGPLAN Notices"},{"key":"21_CR28","doi-asserted-by":"crossref","unstructured":"Turchin, V. F., R. M. Nirenberg, and D. V. Turchin, Experiments with a supercompiler, Proc. 1982 ACM Symp. Lisp and Functional Programming, Pittsburgh, Pennsylvania 1982, 47\u201355","DOI":"10.1145\/800068.802134"},{"key":"21_CR29","first-page":"91","volume-title":"A Prolog meta-interpreter for partial evaluation and its application to source to source transformation and query-optimisation","author":"R. Venken","year":"1984","unstructured":"Venken, R., A Prolog meta-interpreter for partial evaluation and its application to source to source transformation and query-optimisation, Proc. ECAI-84, Pisa, Italy (ed. T. O'Shea), North-Holland 1984, 91\u2013100"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:04Z","timestamp":1605644164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}