{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:29Z","timestamp":1725467429663},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540558446"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-55844-6_126","type":"book-chapter","created":{"date-parts":[[2006,7,13]],"date-time":"2006-07-13T09:22:29Z","timestamp":1152782549000},"page":"39-53","source":"Crossref","is-referenced-by-count":1,"title":["Binding techniques and garbage collection for OR-parallel CLP systems"],"prefix":"10.1007","author":[{"given":"Michel","family":"Dorochevsky","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"V\u00e9ron","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Abderrahmane Aggoun and Nicolas Beldiceanu. Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. In Seminaire de Tregastel sur la Programmation en Logique, France, 1990."},{"issue":"6","key":"3_CR2","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1145\/62959.62968","volume":"31","author":"K. Appleby","year":"1988","unstructured":"Karen Appleby et al. Garbage Collection for Prolog Based on WAM. Communications of the ACM, 31(6):719\u2013741, 1988.","journal-title":"Communications of the ACM"},{"key":"3_CR3","unstructured":"K. Ali and R. Karlsson. The Muse OR-Parallel Prolog Model and its Performance. In NACLP'90, Austin, Texas."},{"key":"3_CR4","volume-title":"Incremental Gargage Collection for Or-parallel Prolog Based on WAM","author":"K. Ali","year":"1989","unstructured":"Khayri Ali. Incremental Gargage Collection for Or-parallel Prolog Based on WAM. In Gigalips Workshop, Stockholm, April 1989. SICS."},{"key":"3_CR5","unstructured":"Y. Bekkers, B. Canet, O. Ridoux, and L. Ungaro. MALI: A memory with a Real-Time Garbage Collector for Implementing Logic Programming Languages. In International Symposium on Logic Programming, Salt Lake City, 1986."},{"key":"3_CR6","unstructured":"U.C. Baron et al. The parallel ECRC Prolog system PEPSys: An overview and evaluation results. In FGCS'88, Tokyo, November 1988."},{"key":"3_CR7","first-page":"40","volume":"2","author":"M. Carlsson","year":"1987","unstructured":"M. Carlsson. Freeze, indexing, and other implementation issues in the WAM. In ICLP'87, volume 2, pages 40\u201358, 1987.","journal-title":"ICLP'87"},{"issue":"7","key":"3_CR8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"Alain Colmerauer. An introduction to prolog-III. Communications of the ACM, 33(7):69\u201390, July 1990.","journal-title":"Communications of the ACM"},{"key":"3_CR9","volume-title":"ICLP'91","author":"V. S. Costa","year":"1991","unstructured":"Vitor Santos Costa, David H.D Warren, and Rong Yang. The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. In Koichi Furokawa, editor, ICLP'91, Paris, 1991. MIT Press."},{"key":"3_CR10","unstructured":"Michel Dorochevsky. Garbage Collection in the OR-Parallel Logic Programming System ElipSys. Technical Report DPS-85, ECRC, March 1991."},{"issue":"1\u20132","key":"3_CR11","first-page":"74","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"M. Dincbas et al. Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming, 8(1\u20132):74\u201394, January\u2013March 1990.","journal-title":"Journal of Logic Programming"},{"key":"3_CR12","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In FGCS'88, Tokyo, Japan, December 1988."},{"key":"3_CR13","unstructured":"ECRC. Sepia 3.1 User Manual, November 1991."},{"key":"3_CR14","volume-title":"NACLP'90","author":"G. Gupta","year":"1990","unstructured":"G. Gupta and B. Jayaraman. On Criteria for Or-parallel execution of Logic Programs. In NACLP'90, Austin, Texas, 1990. MIT Press."},{"key":"3_CR15","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"3_CR16","first-page":"165","volume-title":"ICLP'89","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Parallel constraints satisfaction in logic programming: Preliminary results of CHIP within PEPSys. In Giorgio Levi and Maurizio Martelli, editors, ICLP'89, pages 165\u2013180, Lisbon, June 1989. MIT Press."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Serge Le Huitouze. A new data structure for implementing extensions to Prolog. In PLILP'91. LNCS456, 1990.","DOI":"10.1007\/BFb0024181"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In POPL'87, Munich, Germany. ACM, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"3_CR19","unstructured":"R. Butler et al. The Aurora OR-parallel Prolog system. In FGCS'88, Tokyo, November 1988."},{"key":"3_CR20","unstructured":"Olivier Ridoux. Mali v06 Tutorial and Reference Manual. Internal report, 611, IRISA-INRIA-CNRS, October 1991."},{"key":"3_CR21","unstructured":"Dan Sahlin and Mats Carlsson. Variable Shunting for the WAM. In 2nd NACLP Workshop on Logic Programming Architectures and Inplementations, Austin, Texas, 1990."},{"key":"3_CR22","unstructured":"SICS. SICStus Prolog User's Manual, December 1990."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"David S. Warren. Efficient Prolog memory management for flexible control strategies. In ISLP, 1984.","DOI":"10.1007\/BF03037327"}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55844-6_126.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:17Z","timestamp":1619573777000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55844-6_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540558446"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-55844-6_126","relation":{},"subject":[]}}