{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:00Z","timestamp":1725663540454},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540550389"},{"type":"electronic","value":"9783540466734"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-55038-0_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:26:32Z","timestamp":1330194392000},"page":"17-28","source":"Crossref","is-referenced-by-count":2,"title":["Constraint handling, garbage collection and execution model issues in ElipSys"],"prefix":"10.1007","author":[{"given":"Michel","family":"Dorochevsky","sequence":"first","affiliation":[]},{"given":"Kees","family":"Schuerman","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"V\u00e9ron","sequence":"additional","affiliation":[]},{"given":"Jiyang","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"2_CR1","unstructured":"A. Aggoun and N. Beldiceanu. Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. In Seminaire de Tr\u00e9gastel sur la Programmation en Logique, France, 1990."},{"key":"2_CR2","unstructured":"Khayri A.M. Ali. Incremental Garbage Collection for Or-Parallel Prolog based on WAM. In Proceedings of the Gigalips Workshop, April 1989."},{"issue":"6","key":"2_CR3","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1145\/62959.62968","volume":"31","author":"K. Appleby","year":"1988","unstructured":"Karen Appleby, Mats Carlsson, Seif Haridi, and Sahlin Dan. Garbage Collection for Prolog Based on WAM. Communications of the ACM, 31(6):719\u2013741, June 1988.","journal-title":"Communications of the ACM"},{"key":"2_CR4","unstructured":"U. C. Baron, J. Chassin de Kergommeaux, M. Hailperin, M. J. Ratcliffe, P. Robert, J.-C. Syre, and H. Westphal. The Parallel ECRC Prolog System PEPsys: An Overview and Evaluation Results. In Proceedings of the 5th\nGeneration Computer Systems Conference, November 1988."},{"key":"2_CR5","unstructured":"Jorge B. Bocca. MegaLog \u2014 A platform for developing Knowledge Base Management Systems. In Proceedings of the International Symposium on Database Systems for Advanced Applications, pages 374\u2013380, April 1991."},{"key":"2_CR6","unstructured":"Lothar Borrmann. A virtually shared memory model with customized coherency. In Peter Mueller-Stoy, editor, 11th ITG\/GI Conference on Architecture of Computing Systems. VDE Verlag \u2014 ISBN: 3-8007-1688-7, March 1990."},{"key":"2_CR7","unstructured":"Sergio A. Delgado-Rannauro, Michel Dorochevsky, Kees Schuerman, Andr\u00e9 V\u00e9ron, and Jiyang Xu. ElipSys: An Integrated Platform for Building Large Decision Support Systems. Technical Report DPS-104, ECRC, January 1991."},{"key":"2_CR8","unstructured":"Sergio A. Delgado-Rannauro, Michel Dorochevsky, Kees Schuerman, Andr\u00e9 V\u00e9ron, and Jiyang Xu. ElipSys Execution Model. Technical Report DPS-86, ECRC, January 1991."},{"key":"2_CR9","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on 5th\nGeneration Computer Systems, pages 693\u2013702, December 1988."},{"key":"2_CR10","series-title":"Proceedings of the 3rd Workshop on Parallel and Distributed Processing","volume-title":"A Host for ESQL and ElipSys","year":"1991","unstructured":"M. Dorochevsky, M. Paci, M. J. Reeve, K. Schuerman, A. V\u00e9ron, K.-F. Wong, and J. Xu. EDS: A Host for ESQL and ElipSys. In Proceedings of the 3rd Workshop on Parallel and Distributed Processing, Sofia, Bulgaria, April 1991. Elsevier Science Publisher B.V."},{"key":"2_CR11","unstructured":"Michel Dorochevsky. Garbage Collection in the OR-Parallel Logic Programming System ElipSys. Technical Report DPS-85, ECRC, March 1991."},{"issue":"6","key":"2_CR12","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/40.62726","volume":"10","author":"G. Haworth","year":"1990","unstructured":"G. Haworth, S. Leunig, C. Hammer, and Reeve M. The European Declarative System, Database and Languages. IEEE Micro, 10(6):20\u201323, December 1990.","journal-title":"IEEE Micro"},{"key":"2_CR13","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"2_CR14","first-page":"165","volume-title":"ICLP'89","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Parallel constraint 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."},{"issue":"4","key":"2_CR15","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1145\/75104.75105","volume":"7","author":"K. Li","year":"1989","unstructured":"Kai Li and Paul Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4):321\u2013359, November 1989.","journal-title":"ACM Transactions on Computer Systems"},{"key":"2_CR16","unstructured":"David H.D. Warren. An Abstract Prolog Instruction Set. Technical Note TN-309, SRI, October 1983."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"David S. Warren. Efficient Prolog memory management for flexible control strategies. In The International Symposium on Logic Programming, pages 198\u2013202, 1984.","DOI":"10.1007\/BF03037327"}],"container-title":["Lecture Notes in Computer Science","Parallel Execution of Logic Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55038-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:27:46Z","timestamp":1619558866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55038-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540550389","9783540466734"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55038-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}