{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:22Z","timestamp":1725456382364},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602477"},{"type":"electronic","value":"9783540447696"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0020492","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T03:33:05Z","timestamp":1132716785000},"page":"553-564","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Compiler optimizations in Reform Prolog: Experiments on the KSR-1 multiprocessor"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Lindgren","sequence":"first","affiliation":[]},{"given":"Johan","family":"Bevemyr","sequence":"additional","affiliation":[]},{"given":"H\u00e5kan","family":"Millroth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"44_CR1","unstructured":"J. Bevemyr, A Recursion Parallel Prolog Engine, Licentiate of Philosophy Thesis, Uppsala Theses in Computer Science 16\/93, Uppsala University, 1993."},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"J. Bevemyr, T. Lindgren & H. Millroth, Exploiting recursion-parallelism in Prolog, Int. Conf. PARLE-93 (eds. A. Bode, M. Reeve & G. Wolf), Springer LNCS 694, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56891-3_22"},{"key":"44_CR3","unstructured":"J. Bevemyr, T. Lindgren & H. Millroth, Reform Prolog: The language and its implementation, Proc. 10th Int. Conf. Logic Programming, MIT Press, 1993."},{"key":"44_CR4","unstructured":"J.-H. Chang, High performance execution of Prolog programs based on a static dependency analysis, Ph.D. Thesis, UCB\/CSD 86\/263, Univ. Calif. Berkeley, 1986."},{"key":"44_CR5","unstructured":"M. Codish, A. Mulkers, M. Bruynooghe, M. Garcia de la Banda & M. Hermenegildo, Improving abstract interpretations by combining domains, Proc. 1993 Symp. Partial Evaluation and Program Manipulation, ACM Press, 1993."},{"key":"44_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. 4th ACM Symp. Principles of Programming Languages, ACM Press, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"No.3","key":"44_CR7","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S.K. Debray","year":"1989","unstructured":"S.K. Debray, Static inference of modes and data dependencies in logic programs, ACM Trans. Programming Languages and Systems, Vol. 11, No. 3, pp. 418\u2013450, July 1989.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"S.K. Debray, Efficient dataflow analysis of logic programs, J. ACM, Vol. 39, No. 4, October 1992.","DOI":"10.1145\/146585.146624"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"S.K. Debray & D.S. Warren, Automatic mode inference for logic programs, J. Logic Programming, Vol. 5, No. 3, 1988.","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"44_CR10","unstructured":"M.A. Friedman, A characterization of Prolog execution, Ph.D. Thesis, University of Wisconsin at Madison, 1992."},{"key":"44_CR11","unstructured":"T.W. Gentzinger, Abstract interpretation for the compile-time optimization of logic programs, Ph.D. Thesis, University of South California, Report 93\/09, 1993."},{"key":"44_CR12","unstructured":"M.V. Hermenegildo & F. Rossi, Non-strict independent and-parallelism, Proc. 7th Int. Conf. Logic Programming, MIT Press, 1990."},{"key":"44_CR13","unstructured":"N. Jones & H. S\u00d8ndergaard, A semantics-based framework for the abstract interpretation of Prolog, report 86\/14, University of Copenhagen, 1986."},{"key":"44_CR14","unstructured":"H. Millroth, Reforming compilation of logic programs, Proc. 1991 Int. Symp. Logic Programming, MIT Press, 1991."},{"key":"44_CR15","unstructured":"H. Millroth, SLDR-resolution: parallelizing structural recursion in logic programs, J. Logic Programming, to appear."},{"key":"44_CR16","unstructured":"L. Naish, Parallelizing NU-Prolog, Proc. 5th Int. Conf. Symp. Logic Programming, MIT Press, 1988."},{"key":"44_CR17","unstructured":"T. Lindgren, The compilation and execution of recursion-parallel Prolog on shared-memory multiprocessors, Licentiate of Philosophy Thesis, Uppsala Theses in Computer Science 18\/93, November 1993."},{"key":"44_CR18","doi-asserted-by":"crossref","unstructured":"D.A. Patterson & J.L. Hennessy, Computer Organization & Design: The Hardware\/Software Interface, Morgan Kaufmann Publ., 1993.","DOI":"10.1016\/B978-1-4832-0775-9.50007-5"},{"key":"44_CR19","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0743-1066(91)90016-I","volume":"11","author":"E. Tick","year":"1991","unstructured":"E. Tick, Memory-and buffer-referencing characteristics of a WAM-based Prolog, J. Logic Programming, Vol. 11, pp. 133\u2013162, 1991.","journal-title":"J. Logic Programming"},{"key":"44_CR20","unstructured":"P. Van Roy, A. Despain, The benefits of global dataflow analysis for an optimizing Prolog compiler, Proc. 1990 North Am. Conf. Logic Programming, MIT Press, 1990."},{"key":"44_CR21","volume-title":"SRI Tech. Note 309","author":"D.H.D. Warren","year":"1983","unstructured":"D.H.D. Warren, An Abstract Prolog Instruction Set, SRI Tech. Note 309, SRI International, Menlo Park, Calif., USA, 1983."}],"container-title":["Lecture Notes in Computer Science","EURO-PAR '95 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T20:41:34Z","timestamp":1587328894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020492"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602477","9783540447696"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0020492","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"9 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}