{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:10:02Z","timestamp":1739074202826,"version":"3.37.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf03037216","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:21:34Z","timestamp":1240366894000},"page":"3-30","source":"Crossref","is-referenced-by-count":4,"title":["Andorra-I compilation"],"prefix":"10.1007","volume":"14","author":[{"given":"V\u00edtor Santos","family":"Costa","sequence":"first","affiliation":[]},{"given":"David H. D.","family":"Warren","sequence":"additional","affiliation":[]},{"given":"Rong","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037216_CR1","doi-asserted-by":"crossref","unstructured":"Bahgat, R.,Non-Deterministic Concurrent Logic Programming in Pandora, World Scientific, 1993.","DOI":"10.1142\/1898"},{"key":"BF03037216_CR2","doi-asserted-by":"crossref","unstructured":"Beaumont, A., Raman, S.M., Szeredi, P., and Warren, D.H.D., \u201cFlexible Scheduling of OR-Parallelism in Aurora: The Bristol Scheduler,\u201d inPARLE91: Conference on Parallel Architectures and Languages Europe, volume 2, Springer_Verlag, pp. 403\u2013420, June 1991.","DOI":"10.1007\/978-3-662-25209-3_50"},{"key":"BF03037216_CR3","volume-title":"Implementation of Committed Choice Logic Languages on Shared Memory Multiprocessors","author":"J.A. Crammond","year":"1988","unstructured":"Crammond, J.A., \u201cImplementation of Committed Choice Logic Languages on Shared Memory Multiprocessors,\u201dPh.D thesis, Heriot-Watt University, Edinburgh, May 1988.Research Report, PAR 88\/4, Department of Computing, Imperial College, London."},{"key":"BF03037216_CR4","unstructured":"Debray, S.K., \u201cA Simple Code Improvement Scheme for Prolog,\u201d inSixth International Conference on Logic Programming, MIT Press, pp. 17\u201332, June 1989."},{"key":"BF03037216_CR5","unstructured":"Dutra, I. \u201cStrategies for Scheduling And- and Or-Work in Prallel Logic Programming Systems,\u201d inLogic Programming: Proceedings of the 1994 International Symposium, MIT Press, pp. 289\u2013304, 1994."},{"key":"BF03037216_CR6","unstructured":"Gregory, S. and Yang, R., \u201cParallel Constraint Solving in Andorra-I,\u201d inInternational Conference on Fifth Generation Computer Systems 1992, ICOT, Tokyo, Japan, pp. 843\u2013850, June 1992."},{"key":"BF03037216_CR7","unstructured":"Janson, S. and Haridi, S., \u201cProgramming Paradigms of the Andorra Kernel Language,\u201d inLogic Programming: Proceedings of the International Logic Programming Symposium, MIT Press, pp. 167\u2013186, October 1991."},{"key":"BF03037216_CR8","unstructured":"Kliger, S. and Shapiro, E., \u201cA Decision Tree Compilation Algorithm for FCP (\u2016,:,?),\u201d inProceedings of the Fifth International Conference and Symposium on Logic Programming, MIT Press, pp. 1315\u20131336, August 1988."},{"key":"BF03037216_CR9","unstructured":"Korsloot, M. and Tick, E., \u201cCompilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages,\u201d inProceedings of the Eighth International Conference on Logic Programming (K. Furukawa, ed.), MIT Press, 1991."},{"key":"BF03037216_CR10","unstructured":"Lusk, E., Butler, R., Disz, T., Olson, R., Overbeek, R., Stevens, R., Warren, D.H.D., Calderwood, A., Szeredi, P., Haridi, S., Brand, P., Carls\u00e7on, M., Ciepelewski, A., and Hausman, B., \u201cThe Aurora Or-Parallel Prolog System,\u201d inInternational Conference on Fifth Generation Computer Systems 1988, ICOT, Tokyo, Japan, pp. 819\u2013830, Nov. 1988."},{"key":"BF03037216_CR11","unstructured":"Palmer, D. and Naish, L., \u201cNUA-Prolog: An Extension to the WAM for Parallel Andorra,\u201d inProceedings of the Eighth International Conference on Logic Programming (K. Furukawa, ed.), MIT Press, 1991."},{"key":"BF03037216_CR12","unstructured":"Santos Costa, V., \u201cCompile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I,\u201dPh.D thesis, University of Bristol, August 1993."},{"key":"BF03037216_CR13","doi-asserted-by":"crossref","unstructured":"Santos Costa, V., Warren, D.H.D., and Yang, R., \u201cAudorra-I: A Parallel Prolog System That Transparently Exploits both And- and Or-Parallelism,\u201d inThird ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, ACM press, pp. 83\u201393, April 1991.SIGPLAN Notices, vol. 26, 7, July 1991.","DOI":"10.1145\/109626.109635"},{"key":"BF03037216_CR14","unstructured":"Santos Costa, V., Warren, D.H.D., and Yang, R., \u201cThe Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model,\u201d inProceedings of the Eighth International Conference on Logic Programming, MIT Press, pp. 825\u2013839, June 1991."},{"key":"BF03037216_CR15","doi-asserted-by":"crossref","unstructured":"Santos Costa, V., Warren, D.H.D., and Yang, R., \u201cThe Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model,\u201d inProceedings of the Eighth International Conference on Logic Programming, MIT Press, pp. 443\u2013456, June 1991.","DOI":"10.1145\/109625.109635"},{"key":"BF03037216_CR16","doi-asserted-by":"crossref","unstructured":"Szeredi, P., Carlsson, M., and Yang, R., \u201cInterfacing Engines and Schedulers in OR-Parallel Prolog Systems,\u201d inPARLE91: Conference on Parallel Architectures and Languages Europe, volume 2, Springer-Verlag, pp. 439\u2013453, June 1991.","DOI":"10.1007\/3-540-54152-7_79"},{"key":"BF03037216_CR17","unstructured":"Tanaka, J., Ueda, K., Miyazaki, T., Takeuchi, A., Matsumoto, Y., and Furukawa, K., \u201cGuarded Horn Clauses and Experiences with Parallel Programming,\u201d in1986 Proceedings Fall Joint Computer Conference, IEEE Computer Society Press, pp. 948\u2013954, November 1986."},{"key":"BF03037216_CR18","doi-asserted-by":"crossref","unstructured":"Van Roy, P., \u201c1983\u20131993: The Wonder Years of Sequential Prolog Implementation,\u201dThe Journal of Logic Programming, 19\/20, May\/July 1994.","DOI":"10.1016\/0743-1066(94)90031-0"},{"key":"BF03037216_CR19","unstructured":"Warren, D.H.D., \u201cAn Abstract Prolog Instruction Set,\u201dTechnical Note, 309, SRI International, 1983."},{"key":"BF03037216_CR20","unstructured":"Yang, R., Beaumont, T., Dutra, I., Santos Costa, V., and Warren, D.H.D.,ESPRIT Project 2471 PEPMA-Task 7a, PEPMA Project, University of Bristol, November 1992."},{"key":"BF03037216_CR21","unstructured":"Yang, R., Beaumont, T., Dutra, I., Santos Costa, V., and Warren, D.H.D., \u201cPerformance of the Compiler-Based Andorra-I System, inProceedings of the Tenth International Conference on Logic Programming, MIT Press, pp. 150\u2013166, June 1993."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037216.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037216\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T03:36:45Z","timestamp":1739072205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037216"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF03037216"],"URL":"https:\/\/doi.org\/10.1007\/bf03037216","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}