{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T18:22:07Z","timestamp":1746728527676},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026819","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"151-168","source":"Crossref","is-referenced-by-count":13,"title":["An abstract machine for Oz"],"prefix":"10.1007","author":[{"given":"Michael","family":"Mehl","sequence":"first","affiliation":[]},{"given":"Ralf","family":"Scheidhauer","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Schulte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"11_CR1","series-title":"Logic Programming Series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren's Abstract Machine: A Tutorial Reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"Hassan A\u00eft-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. Logic Programming Series. The MIT Press, Cambridge, MA, 1991."},{"key":"11_CR2","first-page":"433","volume-title":"A decision graph algorithm for CCP languages","author":"P. Brand","year":"1995","unstructured":"Per Brand. A decision graph algorithm for CCP languages. In Leon Sterling, editor, Proceedings of the 1995 International Conference on Logic Programming, pages 433\u2013448, Kanagawa, Japan, June 1995. The MIT Press."},{"issue":"3","key":"11_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/382130.382133","volume":"IV","author":"W. Clinger","year":"1991","unstructured":"William Clinger and Jonathan Rees. The Revised4 Report on the Algorithmic Language Scheme. LISP Pointers, IV(3):1\u201355, July\u2013September 1991.","journal-title":"LISP Pointers"},{"key":"11_CR4","unstructured":"Alain Colmerauer. Prolog and infinite trees. In K.L. Clark and S.-A. T\u00e4rnlund, editors, Logic Programming, pages 153\u2013172. Academic Press, 1982."},{"key":"11_CR5","unstructured":"Alain Colmerauer. Equations and inequations on finite and infinite trees. In Proceedings of the 2nd International Conference on Fifth Generation Computer Systems, pages 85\u201399, 1984."},{"key":"11_CR6","first-page":"27","volume-title":"Principles and Practice of Constraint Programming","author":"M. Henz","year":"1995","unstructured":"Martin Henz, Gert Smolka, and J\u00f6rg W\u00fcrtz. Object-oriented concurrent constraint programming in Oz. In Vijay Saraswat and Pascal Van Hentenryck, editors, Principles and Practice of Constraint Programming, chapter 2, pages 27\u201348. The MIT Press, Cambridge, MA, 1995."},{"key":"11_CR7","unstructured":"Paul Hudak, Philip Wadler, et al. Report on the programming language Haskell. Technical Report YALEU\/DCS\/RR\/777, Yale University, 1990."},{"key":"11_CR8","volume-title":"Dissertation","author":"S. Janson","year":"1994","unstructured":"Sverker Janson. AKL \u2014 A Multiparadigm Programming Language. Dissertation, SICS Swedish Institute of Computer Science, Uppsala University 1994, SICS Box 1263, S-164 28 Kista, Sweden, 1994."},{"key":"11_CR9","first-page":"97","volume-title":"North American Conference on Logic Programming","author":"S. Kliger","year":"1990","unstructured":"Shmuel Kliger and Ehud Shapiro. From decision trees to decision graphs. In Saumya Debray and Manuel Hermenegildo, editors, North American Conference on Logic Programming, pages 97\u2013116, Austin, TX, 1990. The MIT Press."},{"key":"11_CR10","first-page":"858","volume-title":"Logic Programming, Proceedings of the Fourth International Conference","author":"M. J. Maher","year":"1987","unstructured":"Michael J. Maher. Logic semantics for a class of committed-choice programs. In Jean-Louis Lassez, editor, Logic Programming, Proceedings of the Fourth International Conference, pages 858\u2013876, Melbourne, 1987. The MIT Press."},{"key":"11_CR11","series-title":"DFKI Oz documentation series","volume-title":"DFKI Oz user's manual","author":"M. Mehl","year":"1994","unstructured":"Michael Mehl, Tobias M\u00fcller, Konstantin Popov, and Ralf Scheidhauer. DFKI Oz user's manual. DFKI Oz documentation series, German Research Center for Artificial Intelligence (DFKI), Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1994."},{"key":"11_CR12","volume-title":"Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. Definition of Standard ML. The MIT Press, Cambridge, MA, 1990."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Johan Montelius and Khayri A. M. Ali. An And\/Or-parallel implementation of AKL. New Generation Computing, 13\u201314, August 1995.","DOI":"10.1007\/BF03037217"},{"key":"11_CR14","volume-title":"LNCS","author":"A. Podelski","year":"1995","unstructured":"Andreas Podelski and Gert Smolka. Situated simplification. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, LNCS, Marseille, France, September 1995. Springer-Verlag. To appear."},{"key":"11_CR15","first-page":"359","volume-title":"Logic Programming: Proceedings of the 1994 International Symposium","author":"A. Podelski","year":"1994","unstructured":"Andreas Podelski and Peter Van Roy. The beauty and beast algorithm: quasilinear incremental tests of entailment and disentailment over trees. In Maurice Bruynooghe, editor, Logic Programming: Proceedings of the 1994 International Symposium, pages 359\u2013374, Ithaca, NY, November 1994. The MIT Press."},{"key":"11_CR16","first-page":"232","volume-title":"Concurrent constraint programming","author":"V. A. Saraswat","year":"1990","unstructured":"Vijay A. Saraswat and Martin Rinard. Concurrent constraint programming. In Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages, pages 232\u2013245, San Francisco, CA, January 1990. ACM Press."},{"key":"11_CR17","first-page":"505","volume-title":"Logic Programming: Proceedings of the 1994 International Symposium","author":"C. Schulte","year":"1994","unstructured":"Christian Schulte and Gert Smolka. Encapsulated search in higher-order concurrent constraint programming. In Maurice Bruynooghe, editor, Logic Programming: Proceedings of the 1994 International Symposium, pages 505\u2013520, Ithaca, NY, November 1994. The MIT Press."},{"key":"11_CR18","first-page":"134","volume-title":"Lecture Notes in Computer Science, vol. 874","author":"C. Schulte","year":"1994","unstructured":"Christian Schulte, Gert Smolka, and J\u00f6rg W\u00fcrtz. Encapsulated search and constraint programming in Oz. In Alan H. Borning, editor, Second Workshop on Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, vol. 874, pages 134\u2013150, Orcas Island, WA, May 1994. Springer-Verlag."},{"key":"11_CR19","first-page":"50","volume-title":"Lecture Notes in Computer Science, vol. 845","author":"G. Smolka","year":"1994","unstructured":"Gert Smolka. A foundation for higher-order concurrent constraint programming. In Jean-Pierre Jouannaud, editor, 1st International Conference on Constraints in Computational Logics, Lecture Notes in Computer Science, vol. 845, pages 50\u201372, M\u00fcnchen, Germany, September 1994. Springer-Verlag."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Gert Smolka. The definition of Kernel Oz. In Andreas Podelski, editor, Constraints: Basics and Trends, Lecture Notes in Computer Science, vol. 910, pages 251\u2013292. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59155-9_14"},{"issue":"3","key":"11_CR21","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"Gert Smolka and Ralf Treinen. Records for logic programming. Journal of Logic Programming, 18(3):229\u2013258, April 1994.","journal-title":"Journal of Logic Programming"},{"volume-title":"DFKI Oz documentation series","year":"1994","key":"11_CR22","unstructured":"Gert Smolka and Ralf Treinen (ed.). DFKI Oz documentation series. Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbr\u00fccken, Germany, 1994."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Pascal Van Hentenryck, Vijay Saraswat, and Yves Deville. Design, implementation and evaluation of the constraint language cc(FD). In Andreas Podelski, editor, Constraint Programming: Basics and Trends, Lecture Notes in Computer Science, vol. 910, pages 293\u2013316. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59155-9_15"},{"key":"11_CR24","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1016\/0743-1066(94)90031-0","volume":"19\/20","author":"P. Roy Van","year":"1994","unstructured":"Peter Van Roy. 1983\u20131993: The wonder years of sequential Prolog implementation. Journal of Logic Programming, 19\/20:385\u2013441, May\/July 1994.","journal-title":"Journal of Logic Programming"},{"key":"11_CR25","volume-title":"Technical Note 309","author":"D. H. D. Warren","year":"1983","unstructured":"David H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Artificial Intelligence Center, Menlo Park, CA, October 1983."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:54:18Z","timestamp":1586570058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026819"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0026819","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}