{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:48:56Z","timestamp":1725490136968},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417682"},{"type":"electronic","value":"9783540452416"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45241-9_14","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T14:24:00Z","timestamp":1188311040000},"page":"199-213","source":"Crossref","is-referenced-by-count":8,"title":["A Novel Implementation of the Extended Andorra Model"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Lopes","sequence":"first","affiliation":[]},{"given":"V\u00edtor","family":"Santos Costa","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,29]]},"reference":[{"key":"14_CR1","unstructured":"K. A. M. Ali and R. Karlsson. The Muse Or-parallel Prolog Model and its Performance. In NACLP\u201990, MIT Press, 757\u2013776, October 1990."},{"key":"14_CR2","unstructured":"F. Bueno and M. V. Hermenegildo. An Automatic Translations Scheme from Prolog to the Andorra Kernel Language. In International Conference on Fifth Generation Computer Systems 1992, 759\u2013769. ICOT, Tokyo, Japan, June 1992."},{"key":"14_CR3","unstructured":"B. Carlson, S. Haridi, and S. Janson. AKL(FD)-A concurrent language for FD programming. In ILPS\u201994, MIT Press, 521\u2013535, 1994."},{"key":"14_CR4","unstructured":"K. L. Clark, F. G. McCabe, and S. Gregory. IC-PROLOG-language features. In Logic Programming, 253\u2013266. Academic Press, 1982."},{"key":"14_CR5","unstructured":"A. Colmerauer. Theoretical Model of Prolog II. In Logic Programming and its Applications, 3\u201331. Ablex Publishing Corporation, 1986."},{"issue":"4","key":"14_CR6","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF03037945","volume":"10","author":"J. A. Crammond","year":"1992","unstructured":"J. A. Crammond. The abstract machine and implementation of parallel parlog. New Generation Computing, 10(4):385\u2013422, 1992.","journal-title":"New Generation Computing"},{"key":"14_CR7","unstructured":"L. Damas, V. Santos Costa, R. Reis, and R. Azevedo. YAP User\u2019s Guide and Reference Manual, 1998."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"G. Gupta and E. Pontelli. Extended dynamic dependent And-parallelism in ACE. In PASCO\u2019 97, ACM Press, 68\u201379, July 1997.","DOI":"10.1145\/266670.266691"},{"key":"14_CR9","unstructured":"G. Gupta and D. Warren. An Interpreter for the Extended Andorra Model. Internal report, University of Bristol, 1991."},{"issue":"34","key":"14_CR10","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. V. Hermenegildo","year":"1991","unstructured":"M. V. Hermenegildo and K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. New Generation Computing, 9(3,4):233\u2013257, 1991.","journal-title":"New Generation Computing"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"S. Janson. AKL-A Multiparadigm Programming Language. SICS Dissertation Series 14, Uppsala University, 1994.","DOI":"10.1007\/978-3-642-85983-0_16"},{"key":"14_CR12","unstructured":"R. Jones and R. Lins. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. John Wiley and Sons, July 1996. Reprinted February 1997."},{"key":"14_CR13","unstructured":"R. Lopes and V. S. Costa. The BEAM: Towards a first EAM Implementation. In Parallelism and Implementation of Logic and Constraint Programming, 87\u2013106. Nova Sicence, 1999."},{"key":"14_CR14","unstructured":"R. Lopes and V. Santos Costa. Memory Management for the BEAM. In CL2000 First Workshop on Memory Management in Logic Programs, Technical Report of Dept. Comp. Science, K.U.Leuven, July 2000."},{"key":"14_CR15","unstructured":"R. Lopes, F. Silva, V. Santos Costa, and S. Abreu. The RAINBOW: Towards a Parallel Beam. In Workshop on Parallelism and Implementation Technology for (Constraint) Logic Languages, July 2000."},{"issue":"23","key":"14_CR16","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"E. Lusk, et. al., The Aurora or-parallel Prolog system. New Generation Computing, 7(2,3):243\u2013271, 1990.","journal-title":"New Generation Computing"},{"key":"14_CR17","unstructured":"J. Montelius and K. A. M. Ali. An And\/Or-Parallel Implementation of AKL. New Generation Computing, 13(4), 1995."},{"key":"14_CR18","unstructured":"R. Moolenaar and B. Demoen. Hybrid tree search in the Andorra Model. In ICLP\u201994, MIT Press, 110\u2013123, June 1994."},{"key":"14_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Negation and Control in Prolog","author":"L. Naish","year":"1985","unstructured":"L. Naish. Negation and Control in Prolog. Springer-Verlag, LNCS 238, 1985."},{"key":"14_CR20","unstructured":"K. F. Sagonas, T. Swift, D. S. Warren, J. Freire, and P. Rao. The XSB programmer\u2019s manual. Technical report, State University of New York at Stony Brook, 1997."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"V. Santos Costa, D. H. D. Warren, and R. Yang. Andorra-I: A Parallel Prolog System that Transparently Exploits both And-and Or-Parallelism. In ACM SIGPLAN Notices, vol 26(7), July 1991.","DOI":"10.1145\/109626.109635"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"V. Santos Costa, D. H. D. Warren, and R. Yang. The Andorra-I Preprocessor: Supporting full Prolog on the Basic Andorra model. In ICLP\u201991, MIT Press, 443\u2013456, June 1991.","DOI":"10.1145\/109625.109635"},{"issue":"3","key":"14_CR23","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro. The family of Concurrent Logic Programming Languages. ACM computing surveys, 21(3):412\u2013510, 1989.","journal-title":"ACM computing surveys"},{"key":"14_CR24","unstructured":"D. H. D. Warren. The Andorra model. Presented at Gigalips Project workshop, University of Manchester, March 1988."},{"key":"14_CR25","unstructured":"D. H. D. Warren. The Extended Andorra Model with Implicit Control. Presented at ICLP\u201990 Workshop on Parallel Logic Programming, Eilat, Israel, June 1990"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45241-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:02:11Z","timestamp":1684018931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45241-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417682","9783540452416"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45241-9_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}