{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:16Z","timestamp":1725664636703},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594796"},{"type":"electronic","value":"9783540492818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59479-5_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:17:56Z","timestamp":1330276676000},"page":"39-49","source":"Crossref","is-referenced-by-count":1,"title":["A generalized semantics for concurrent constraint languages and their abstract interpretation"],"prefix":"10.1007","author":[{"given":"Christian","family":"Codognet","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Codognet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(2):91\u2013124, 1991.","journal-title":"Journal of Logic Programming"},{"key":"2_CR2","volume-title":"Abstract Interpretation for Concurrent Logic Languages","author":"C. Codognet","year":"1990","unstructured":"C. Codognet, P. Codognet and M-M. Corsini. Abstract Interpretation for Concurrent Logic Languages. In proc. North American Conference on Logic Programming, Austin, Texas, MIT Press 1990."},{"key":"2_CR3","unstructured":"P. Codognet and G. Fil\u00e9. Computations, Abstractions and Constraints. Research Report 91-13, Universit\u00e0 di Padova, 1991."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"P. Codognet and G. Fil\u00e9. Computation, abstractions and Constraints in Logic Programs. In proc. IEEE International Conference on Computer Languages, IEEE Press 1992.","DOI":"10.1109\/ICCL.1992.185478"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, K. Marriott and W. Winsborough. Efficient Analysis of Concurrent Constraint Logic Programs. In proc. ICALP 93, Springer Verlag 1993.","DOI":"10.1007\/3-540-56939-1_108"},{"key":"2_CR6","volume-title":"proc. ICLP 91","author":"M. Codish","year":"1991","unstructured":"M. Codish, M. Falaschi and K. Marriott. Suspension Analyses for Concurrent Logic Programs. In proc. ICLP 91, Paris, France, MIT Press 1991."},{"issue":"4","key":"2_CR7","first-page":"412","volume":"28","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer. An introduction to PrologIII. Communications of the ACM, 28 (4), April 1990, pp 412\u2013418.","journal-title":"Communications of the ACM"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"S. Debray and D.S. Warren. Automatic mode inference for Prolog programs. Journal of Logic Programming, vol. 5 (3), 1988.","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"2_CR9","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi Compositional Analysis for Concurrent Constraint Programming. In proc. LICS 93, IEEE Press 1993."},{"key":"2_CR10","volume-title":"A Generalized Semantics for Constraint Logic Programs","author":"R. Giacobazzi","year":"1992","unstructured":"R. Giacobazzi, S. K. Debray and G. Levi. A Generalized Semantics for Constraint Logic Programs. In proc. Fifth Generation Computer Sytems 92, Tokyo, ICOT, 1992."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J-L. Lassez. Constraint Logic Programming. Research Report, University of Melbourne, June 1986. Short version in proc. 14th ACM conference on Principles Of Programming Languages, POPL'87, ACM Press 1987.","DOI":"10.1145\/41625.41635"},{"key":"2_CR12","unstructured":"R. Jagadeesan, V. Saraswat and V. Shanbhogue. Angelic non-determinism in concurrent constraint programming. Technical Report, Xerox PARC, 1991."},{"key":"2_CR13","volume-title":"A generic abstract interpretation algorithm and its complexity analysis","author":"B. Charlier Le","year":"1991","unstructured":"B. Le Charlier K. Musumbu and P. Van Hentenryck. A generic abstract interpretation algorithm and its complexity analysis. In 8th International Conference on Logic Programming, Paris, MIT Press 1991."},{"key":"2_CR14","volume-title":"Reexecution in Abstract Interpretation of Prolog","author":"B. Charlier Le","year":"1992","unstructured":"B. Le Charlier and P. Van Hentenryck. Reexecution in Abstract Interpretation of Prolog. In proc. Joint International Conference and Symposium on Logic Programming, Washington, MIT Press 1992."},{"key":"2_CR15","volume-title":"Ph.D. dissertation","author":"F. Mesnard","year":"1993","unstructured":"F. Mesnard. Termination analysis for Prolog programs (in French). Ph.D. dissertation, University of Paris-6, France, 1993."},{"key":"2_CR16","unstructured":"G. Plotkin. Domains. University of Edinburgh, 1983."},{"key":"2_CR17","unstructured":"V. A. Saraswat. Concurrent Constraint Programming Languages. Research Report CMU-CS-89-108, Carnegie Mellon University, 1989. Also (revised version) MIT Press 93."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat and M. Rinard. Concurrent Constraint Programming. In Proceedings of Seventeenth ACM Symposium on Principles of Programming Languages, San Francisco, CA, January 1990.","DOI":"10.1145\/96709.96733"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat, M. Rinard, and P. Panangaden. Semantic Foundations of Concurrent Constraint Programming. In Proceedings of Ninth ACM Symposium on Principles of Programming Languages, Orlando, FL, January 1991.","DOI":"10.1145\/99583.99627"},{"key":"2_CR20","unstructured":"V. Saraswat. The Category of Constraint Systems is Cartesian-Closed. In proc. LICS'92, Logic In Computer Science, IEEE Press 1992."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"D. S. Scott Domains for denotational semantics. In proc. ICALP'82, International Colloquium on Automata, Languages and Programming, Springer Verlag 1982.","DOI":"10.1007\/BFb0012801"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"E. Shapiro. The Family of Concurrent Logic Languages. ACM Computing Surveys, September 1989.","DOI":"10.1145\/72551.72555"},{"key":"2_CR23","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press 1989."},{"key":"2_CR24","unstructured":"P. Van Hentenryck, V. Saraswat and Y. Deville. Constraint processing in cc(FD). Research Report, Brown University, 1991."}],"container-title":["Lecture Notes in Computer Science","Constraint Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59479-5_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:27:20Z","timestamp":1605648440000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59479-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594796","9783540492818"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-59479-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}