{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:34:39Z","timestamp":1725561279191},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206422"},{"type":"electronic","value":"9783540245995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24599-5_28","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T08:53:55Z","timestamp":1280393635000},"page":"407-421","source":"Crossref","is-referenced-by-count":2,"title":["On Deterministic Computations in the Extended Andorra Model"],"prefix":"10.1007","author":[{"given":"Ricardo","family":"Lopes","sequence":"first","affiliation":[]},{"given":"V\u00edtor Santos","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Bueno, F., Hermenegildo, M.V.: An Automatic Translations Scheme from Prolog to the Andorra Kernel Language. In: International Conference on Fifth Generation Computer Systems 1992, Tokyo, Japan, pp. 759\u2013769. ICOT (June 1992)"},{"key":"28_CR2","first-page":"521","volume-title":"Logic Programming: Proceedings of the 1994 International Symposium","author":"B. Carlson","year":"1994","unstructured":"Carlson, B., Haridi, S., Janson, S.: AKL(FD)-A concurrent language for FD programming. In: Logic Programming: Proceedings of the 1994 International Symposium, pp. 521\u2013535. MIT Press, Cambridge (1994)"},{"key":"28_CR3","unstructured":"Colmerauer, A., Kanoui, H., Pasero, R., Roussel, P.: Un syst\u00e8me de communication homme\u2013machine en francais. Technical report cri 72\u201318, Groupe Intelligence Artificielle, Universit\u00e9 Aix-Marseille II (October 1973)"},{"key":"28_CR4","unstructured":"Damas, L., Santos Costa, V., Reis, R., Azevedo, R.: YAP User\u2019s Guide and Reference Manual (1998)"},{"key":"28_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.1007\/3-540-44957-4_83","volume-title":"Computational Logic - CL 2000","author":"B. Demoen","year":"2000","unstructured":"Demoen, B., Nguyen, P.-L.: So Many WAM Variations, So Little Time. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1240\u20131254. Springer, Heidelberg (2000)"},{"key":"28_CR6","unstructured":"Gupta, G., Warren, D.H.D.: An Interpreter for the Extended Andorra Model. Internal report, University of Bristol (1991)"},{"key":"28_CR7","unstructured":"Hill, R.: LUSH-Resolution and its Completeness. Dcl memo 78, Department of Artificial Intelligence, University of Edinburgh (1974)"},{"key":"28_CR8","first-page":"111","volume-title":"Proceedings Fourtheenth Annual ACM Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: Proceedings Fourtheenth Annual ACM Symposium on Principles of Programming Languages, pp. 111\u2013119. ACM, New York (1987)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Janson, S.: AKL \u2013 A Multiparadigm Programming Language. PhD thesis, SICS Swedish Institute of Computer Science, Uppsala University (1994)","DOI":"10.1007\/978-3-642-85983-0_16"},{"key":"28_CR10","unstructured":"Janson, S., Montelius, J.: Design of a Sequential Prototype Implementation of the Andorra Kernel Language. Sics research report, Swedish Institute of Computer Science (1992)"},{"key":"28_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Lopes, R.: An Implementation of the Extended Andorra Model. PhD thesis, Universidade do Porto (September 2001)","DOI":"10.1007\/3-540-45241-9_14"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-45241-9_14","volume-title":"Practical Aspects of Declarative Languages","author":"R. Lopes","year":"2001","unstructured":"Lopes, R., Costa, V.S., Silva, F.: A novel implementation of the extended andorra model. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 199\u2013213. Springer, Heidelberg (2001)"},{"key":"28_CR14","unstructured":"Lopes, R., Santos Costa, V.: The BEAM: Towards a first EAM Implementation. In: ILPS 1997 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Port Jefferson (October 1997)"},{"key":"28_CR15","unstructured":"Lopes, R., Santos Costa, V.: Memory Management for the BEAM. In: CL 2000 First Workshop on Memory Management in Logic Programs, Technical Report of Dept. Comp. Science, K.U.Leuven (July 2000)"},{"key":"28_CR16","unstructured":"Lopes, R., Silva, F., Santos Costa, V., Abreu, S.: The RAINBOW: Towards a Parallel Beam. In: Workshop on Parallelism and Implementation Technology for (Constraint) Logic Languages (July 2000)"},{"key":"28_CR17","volume-title":"Proceedings of the Eighth International Conference on Logic Programming","author":"D. Palmer","year":"1991","unstructured":"Palmer, D., Naish, L.: NUA-Prolog: an Extension to the WAM for Parallel Andorra. In: Furukawa, K. (ed.) Proceedings of the Eighth International Conference on Logic Programming. MIT Press, Cambridge (1991)"},{"key":"28_CR18","unstructured":"Santos Costa, V.: Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I. PhD thesis, University of Bristol (August 1993)"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/10704567_16","volume-title":"Principles and Practice of Declarative Programming","author":"V. Santos Costa","year":"1999","unstructured":"Santos Costa, V.: Optimising bytecode emulation for prolog. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 261\u2013267. Springer, Heidelberg (1999)"},{"key":"28_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-44960-4_14","volume-title":"Inductive Logic Programming","author":"V. Santos Costa","year":"2000","unstructured":"Santos Costa, V., Srinivasan, A., Camacho, R.: A note on two simple transformations for improving the efficiency of an ILP system. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, p. 225. Springer, Heidelberg (2000)"},{"key":"28_CR21","first-page":"443","volume-title":"Proceedings of the Eighth International Conference on Logic Programming","author":"V. Santos Costa","year":"1991","unstructured":"Santos Costa, V., Warren, D.H.D., Yang, R.: The Andorra-I Preprocessor: Supporting full Prolog on the Basic Andorra model. In: Proceedings of the Eighth International Conference on Logic Programming, June 1991, pp. 443\u2013456. MIT Press, Cambridge (1991)"},{"key":"28_CR22","unstructured":"Warren, D.H.D.: The Andorra model. Presented at Gigalips Project workshop, University of Manchester (March 1988)"},{"key":"28_CR23","unstructured":"Warren, D.H.D.: Extended Andorra model. PEPMA Project workshop, University of Bristol (October 1989)"},{"key":"28_CR24","unstructured":"Warren, D.H.D.: The Extended Andorra Model with Implicit Control. Presented at ICLP 1990 Workshop on Parallel Logic Programming, Eilat, Israel (June 1990)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24599-5_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:55:07Z","timestamp":1559346907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24599-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206422","9783540245995"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24599-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}