{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T15:34:00Z","timestamp":1794411240991,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642276934","type":"print"},{"value":"9783642276941","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_11","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T17:38:40Z","timestamp":1328636320000},"page":"138-152","source":"Crossref","is-referenced-by-count":0,"title":["A Segment-Swapping Approach for Executing Trapped Computations"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Chico de Guzm\u00e1n","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amadeo","family":"Casas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"Carro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Ali, K., Carlsson, M., Hermenegildo, M.: Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems\u00a023(4), 472\u2013602 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2\/3","key":"11_CR2","first-page":"243","volume":"7","author":"E. Lusk","year":"1988","unstructured":"Lusk, E., Butler, R., Disz, T., Olson, R., Stevens, R., Warren, D.H.D., Calderwood, A., Szeredi, P., Brand, P., Carlsson, M., Ciepielewski, A., Hausman, B., Haridi, S.: The Aurora Or-parallel Prolog System. New Generation Computing\u00a07(2\/3), 243\u2013271 (1988)","journal-title":"New Generation Computing"},{"key":"11_CR3","first-page":"757","volume-title":"1990 North American Conference on Logic Programming","author":"K.A.M. Ali","year":"1990","unstructured":"Ali, K.A.M., Karlsson, R.: The Muse Or-Parallel Prolog Model and its Performance. In: 1990 North American Conference on Logic Programming, pp. 757\u2013776. MIT Press, Cambridge (1990)"},{"issue":"3,4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF03037164","volume":"9","author":"M. Hermenegildo","year":"1991","unstructured":"Hermenegildo, M., Greene, K.: The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing\u00a09(3,4), 233\u2013257 (1991)","journal-title":"New Generation Computing"},{"issue":"1-3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00079-9","volume":"29","author":"K. Shen","year":"1996","unstructured":"Shen, K.: Overview of DASWAM: Exploitation of Dependent And-parallelism. Journal of Logic Programming\u00a029(1-3), 245\u2013293 (1996)","journal-title":"Journal of Logic Programming"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Pontelli, E., Gupta, G., Hermenegildo, M.: &ACE: A High-Performance Parallel Prolog System. In: International Parallel Processing Symposium IEEE Computer Society Technical Committee on Parallel Processing, pp. 564\u2013572. IEEE Computer Society (April 1995)","DOI":"10.1109\/IPPS.1995.395891"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Janson, S.: AKL. A Multiparadigm Programming Language. PhD thesis, Uppsala University (1994)","DOI":"10.1007\/978-3-642-85983-0_16"},{"key":"11_CR8","unstructured":"Santos-Costa, V.M.: Compile-Time Analysis for the Parallel Execution of Logic Programs in Andorra-I. PhD thesis, University of Bristol (August 1993)"},{"key":"11_CR9","unstructured":"Warren, D.: The Extended Andorra Model with Implicit Control. In: Jansson, S. (ed.) Parallel Logic Programming Workshop, Box 1263, S-163 13 Spanga, Sweden. SICS (June 1990)"},{"key":"11_CR10","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., Santos Costa, V., 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":"11_CR11","unstructured":"Hermenegildo, M.: An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. PhD thesis, U. of Texas at Austin (August 1986)"},{"key":"11_CR12","unstructured":"Hermenegildo, M.: Relating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. In: 4th. ICLP, pp. 556\u2013575. MIT Press (1987)"},{"issue":"11","key":"11_CR13","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.1109\/71.969127","volume":"12","author":"E. Pontelli","year":"2001","unstructured":"Pontelli, E., Gupta, G.: Backtracking in independent and-parallel implementations of logic programming languages. IEEE Transactions on Parallel and Distributed Systems\u00a012(11), 1169\u20131189 (2001)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/978-3-540-89982-2_53","volume-title":"Logic Programming","author":"A. Casas","year":"2008","unstructured":"Casas, A., Carro, M., Hermenegildo, M.V.: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 651\u2013666. Springer, Heidelberg (2008)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-77442-6_18","volume-title":"Practical Aspects of Declarative Languages","author":"P. Moura","year":"2008","unstructured":"Moura, P., Crocker, P., Nunes, P.: High-Level Multi-threading Programming in Logtalk. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 265\u2013281. Springer, Heidelberg (2008)"},{"key":"11_CR16","unstructured":"Warren, D.: An Abstract Prolog Instruction Set. Technical Report 309, Artificial Intelligence Center, SRI International, 333 Ravenswood Ave, Menlo Park CA 94025 (1983)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Ait-Kaci, H.: Warren\u2019s Abstract Machine, A Tutorial Reconstruction. MIT Press (1991)","DOI":"10.7551\/mitpress\/7160.001.0001"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/BFb0024759","volume-title":"Euro-Par\u201996 - Parallel Processing","author":"K. Shen","year":"1996","unstructured":"Shen, K., Hermenegildo, M.: Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. In: Fraigniaud, P., Mignotte, A., Robert, Y., Boug\u00e9, L. (eds.) Euro-Par 1996. LNCS, vol.\u00a01124, pp. 635\u2013640. Springer, Heidelberg (1996)"},{"key":"11_CR19","unstructured":"Ericsson, A.B.: Erlang Efficiency Guide. 5.8.5 edn. (October 2011), http:\/\/www.erlang.org\/doc\/efficiency_guide\/users_guide.html"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Chico de Guzm\u00e1n, P., Casas, A., Carro, M., Hermenegildo, M.: Parallel Backtracking with Answer Memoing for Independent And-Parallelism. In: Theory and Practice of Logic Programming, 27th Int\u2019l. Conference on Logic Programming (ICLP 2011) Special Issue, vol.\u00a011(4\u20135), pp. 555\u2013574 (July 2011), http:\/\/arxiv.org\/abs\/1107.4724","DOI":"10.1017\/S1471068411000172"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1016\/S0167-739X(99)00092-8","volume":"16","author":"B. Demoen","year":"2000","unstructured":"Demoen, B., Sagonas, K.: CHAT: the copy-hybrid approach to tabling. Future Generation Computer Systems\u00a016, 809\u2013830 (2000)","journal-title":"Future Generation Computer Systems"},{"key":"11_CR22","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G. (eds.): The Ciao System. Ref. Manual (v1.13). Technical report, School of Computer Science, T.U. of Madrid, UPM (2009), http:\/\/www.ciaohome.org"},{"key":"11_CR23","unstructured":"Hermenegildo, M.V., Bueno, F., Carro, M., L\u00f3pez, P., Mera, E., Morales, J., Puebla, G.: An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming (2012), http:\/\/arxiv.org\/abs\/1102.5497"},{"issue":"1-2","key":"11_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M. Hermenegildo","year":"2005","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming\u00a058(1-2), 115\u2013140 (2005)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"11_CR25","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0743-1066(98)10022-5","volume":"38","author":"K. Muthukumar","year":"1999","unstructured":"Muthukumar, K., Bueno, F., de la Banda, M.G., Hermenegildo, M.: Automatic Compile-time Parallelization of Logic Programs for Restricted, Goal-level, Independent And-parallelism. Journal of Logic Programming\u00a038(2), 165\u2013218 (1999)","journal-title":"Journal of Logic Programming"},{"key":"11_CR26","unstructured":"Cabeza, D.: An Extensible, Global Analysis Friendly Logic Programming System. PhD thesis, Universidad Polit\u00e9cnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain (August 2004)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-540-78769-3_10","volume-title":"Logic-Based Program Synthesis and Transformation","author":"A. Casas","year":"2008","unstructured":"Casas, A., Carro, M., Hermenegildo, M.: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol.\u00a04915, pp. 138\u2013153. Springer, Heidelberg (2008)"},{"key":"11_CR28","unstructured":"Casas, A.: Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages. PhD thesis, University of New Mexico (UNM), Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131-0001 (USA) (September 2008)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Chico de Guzm\u00e1n, P., Carro, M., Warren, D.S.: Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. In: Theory and Practice of Logic Programming, 26th Int\u2019l. Conference on Logic Programming (ICLP 2010) Special Issue, vol.\u00a010(4-6), pp. 401\u2013416 (July 2010)","DOI":"10.1017\/S1471068410000189"},{"key":"11_CR30","unstructured":"Pereira, L., Porto, A.: Intelligent backtracking and sidetracking in horn clause programs - the theory. Report 2\/79, Departamento de Informatica, Universidade Nova de Lisboa (October 1979)"},{"issue":"3","key":"11_CR31","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/131295.131299","volume":"35","author":"D.S. Warren","year":"1992","unstructured":"Warren, D.S.: Memoing for logic programs. Communications of the ACM\u00a035(3), 93\u2013111 (1992)","journal-title":"Communications of the ACM"},{"issue":"3","key":"11_CR32","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/291889.291897","volume":"20","author":"K. Sagonas","year":"1998","unstructured":"Sagonas, K., Swift, T.: An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Transactions on Programming Languages and Systems\u00a020(3), 586\u2013634 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T21:40:37Z","timestamp":1742420437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}