{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:35Z","timestamp":1725664235619},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:24Z","timestamp":1330280064000},"page":"362-379","source":"Crossref","is-referenced-by-count":2,"title":["Domain independent ask approximation in CCP"],"prefix":"10.1007","author":[{"given":"Enea","family":"Zaffanella","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"22_CR1","unstructured":"R. Bagnara. Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages. Presented at the First Int'l Workshop on Concurrent Constraint Programming, Venice, Italy, 1995."},{"key":"22_CR2","unstructured":"G. Birkhoff. Lattice Theory. In AMS Colloquium Publication, third ed., 1967."},{"key":"22_CR3","first-page":"116","volume-title":"Freeness Analysis for Logic Programs \u2014 and Correctness?","author":"M. Codish","year":"1993","unstructured":"M. Codish, D. Dams, G. Fil\u00e9, and M. Bruynooghe. Freeness Analysis for Logic Programs \u2014 and Correctness? In D. S. Warren, editor, Proc. Tenth Int'l Conf. on Logic Programming, pages 116\u2013131. The MIT Press, Cambridge, Mass., 1993."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Falaschi, K. Marriott, and W. Winsborough. Efficient Analysis of Concurrent Constraint Logic Programs. In A. Lingas, R. Karlsson, and S. Carlsson, editors, Proc. of the 20th International Colloquium on Automata, Languages, and Programming, volume 700 of Lecture Notes in Computer Science, pages 633\u2013644, 1993.","DOI":"10.1007\/3-540-56939-1_108"},{"key":"22_CR5","unstructured":"C. Codognet and P. Codognet. A general semantics for Concurrent Constraint Languages and their Abstract Interpretation. In M. Meyer, editor, Workshop on Constraint Processing at the International Congress on Computer Systems and Applied Mathematics, CSAM'93, 1993."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"A. Cortesi and G. Fil\u00e8. Abstract Interpretation of Logic Programs: an Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis. In Proc. ACM Symposium on Partial Evaluation and Semantics-based Program Transformation, pages 52\u201361. ACM Press, 1991.","DOI":"10.1145\/115866.115872"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. Fourth ACM Symp. Principles of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"22_CR8","first-page":"185","volume":"38","author":"P. Cousot","year":"1979","unstructured":"P. Cousot and R. Cousot. A constructive characterization of the lattices of all retracts, pre-closure, quasi-closure and closure operators on a complete lattice. Portugali\u00e6 Mathematica, 38(2):185\u2013198, 1979.","journal-title":"Portugali\u00e6 Mathematica"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic Design of Program Analysis Frameworks. In Proc. Sixth ACM Symp. Principles of Programming Languages, pages 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","first-page":"296","volume-title":"Proc. TAPSOFT'91","author":"F.S. Boer de","year":"1991","unstructured":"F.S. de Boer and C. Palamidessi. A Fully Abstract Model for Concurrent Constraint Programming. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT'91, volume 493 of Lecture Notes in Computer Science, pages 296\u2013319. Springer-Verlag, Berlin, 1991."},{"key":"22_CR11","series-title":"Series in Logic Programming","first-page":"463","volume-title":"A process algebra for concurrent constraint programming","author":"F.S. Boer de","year":"1992","unstructured":"F.S. de Boer and C. Palamidessi. A process algebra for concurrent constraint programming. In K. Apt, editor, Proc. Joint Int'l Conf. and Symposium on Logic Programming, Series in Logic Programming, pages 463\u2013477, Washington, USA, 1992. The MIT Press, Cambridge, Mass."},{"key":"22_CR12","unstructured":"F.S. de Boer, C. Palamidessi, and A. Di Pierro. Infinite Computations in Nondeterministic Constraint Programming. Theoretical Computer Science. To appear."},{"key":"22_CR13","first-page":"100","volume-title":"Freeness analysis in the presence of numerical constraints","author":"V. Dumortier","year":"1993","unstructured":"V. Dumortier, G. Janssens, M. Bruynooghe, and M. Codish. Freeness analysis in the presence of numerical constraints. In D. S. Warren, editor, Proc. Tenth Int'l Conf. on Logic Programming, pages 100\u2013115. The MIT Press, Cambridge, Mass., 1993."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Compositional Analysis for Concurrent Constraint Programming. In Proc. of the Eight Annual IEEE Symposium on Logic in Computer Science, pages 210\u2013221. IEEE Computer Society Press, 1993.","DOI":"10.1109\/LICS.1993.287586"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"M. Falaschi, M. Gabbrielli, K. Marriott, and C. Palamidessi. Confluence and Concurrent Constraint Programming. In Proc. of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95), Montreal, Canada, 1995.","DOI":"10.1007\/3-540-60043-4_76"},{"key":"22_CR16","unstructured":"R. Giacobazzi, S. K. Debray, and G. Levi. A Generalized Semantics for Constraint Logic Programs. In Proc. of the International Conference on Fifth Generation Computer Systems 1992, pages 581\u2013591, 1992."},{"key":"22_CR17","volume-title":"Cylindric Algebras. Part I and II.","author":"L. Henkin","year":"1971","unstructured":"L. Henkin, J.D. Monk, and A. Tarski. Cylindric Algebras. Part I and II. North-Holland, Amsterdam, 1971."},{"key":"22_CR18","unstructured":"R. Jagadeesan, V. Shanbhogue, and V. Saraswat. Angelic non-determinism in concurrent constraint programming. Technical report, System Science Lab., Xerox PARC, 1991."},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","first-page":"348","volume-title":"Semantics: Foundations and Applications","author":"M. Z. Kwiatkowska","year":"1992","unstructured":"M. Z. Kwiatkowska. Infinite Behaviour and Fairness in Concurrent Constraint Programming. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Semantics: Foundations and Applications, volume 666 of Lecture Notes in Computer Science, pages 348\u2013383, Beekbergen The Netherlands, 1992. REX Workshop, Springer-Verlag, Berlin."},{"key":"22_CR20","first-page":"571","volume-title":"Approximating Interaction between Linear Arithmetic Constraints","author":"K. Marriott","year":"1994","unstructured":"K. Marriott and P. J. Stuckey. Approximating Interaction between Linear Arithmetic Constraints. In M. Bruynooghe, editor, Proc. 1994 Intl Logic Programming Symposium, pages 571\u2013585. The MIT Press, Cambridge, Mass., 1994."},{"key":"22_CR21","volume-title":"volume 776 of Lecture Notes in Computer Science","author":"U. Montanari","year":"1994","unstructured":"U. Montanari and F. Rossi. Contextual Occurrence Nets and Concurrent Constraint Programming. In Proc. Dagstuhl Seminar on Graph Transformations in Computer Science, volume 776 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1994."},{"key":"22_CR22","volume-title":"Principles and Practice of Constraint Programming","author":"U. Montanari","year":"1995","unstructured":"U. Montanari and F. Rossi. A Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets. In Principles and Practice of Constraint Programming. The MIT Press, Cambridge, Mass., 1995."},{"key":"22_CR23","first-page":"49","volume-title":"Combined Determination of Sharing and Freness of Program Variables through Abstract Interpretation","author":"K. Muthukumar","year":"1991","unstructured":"K. Muthukumar and M. Hermenegildo. Combined Determination of Sharing and Freness of Program Variables through Abstract Interpretation. In K. Furukawa, editor, Proc. Eighth Int'l Conf. on Logic Programming, pages 49\u201363. The MIT Press, Cambridge, Mass., 1991."},{"key":"22_CR24","unstructured":"G.D. Plotkin. Pisa lecture notes. Unpublished notes, 1981\u201382."},{"key":"22_CR25","first-page":"431","volume-title":"Janus: A step towards distributed constraint programming","author":"V. A. Saraswat","year":"1990","unstructured":"V. A. Saraswat, K. Kahn, and J. Levy. Janus: A step towards distributed constraint programming. In S. K. Debray and M. Hermenegildo, editors, Proc. North American Conf. on Logic Programming'90, pages 431\u2013446. The MIT Press, Cambridge, Mass., 1990."},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, M. Rinard, and P. Panangaden. Semantic Foundation of Concurrent Constraint Programming. In Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages, pages 333\u2013353. ACM, 1991.","DOI":"10.1145\/99583.99627"},{"key":"22_CR27","first-page":"577","volume-title":"volume 140 of Lecture Notes in Computer Science","author":"D. Scott","year":"1982","unstructured":"D. Scott. Domains for Denotational Semantics. In M. Nielsen and E. M. Schmidt, editors, Proc. Ninth Int. Coll. on Automata, Languages and Programming, volume 140 of Lecture Notes in Computer Science, pages 577\u2013613. Springer-Verlag, Berlin, 1982."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"E. Zaffanella, G. Levi, and R. Giacobazzi. Abstracting Synchronization in Concurrent Constraint Programming. In M. Hermenegildo and J. Penjam, editors, Proc. Sixth Int'l Symp. on Programming Language Implementation and Logic Programming, volume 844 of Lecture Notes in Computer Science, pages 57\u201372. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58402-1_6"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:56Z","timestamp":1605646676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}