{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:08:28Z","timestamp":1761620908333,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,7,11]],"date-time":"2005-07-11T00:00:00Z","timestamp":1121040000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,7,11]]},"DOI":"10.1145\/1069774.1069794","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"209-217","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A compositional semantics for CHR"],"prefix":"10.1145","author":[{"given":"Giorgio","family":"Delzanno","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Genova, Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Gabbrielli","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Chiara","family":"Meo","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Chieti, Pescara, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017444"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/265943.265954"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017429"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024922.1024926"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646726.703046"},{"key":"e_1_3_2_1_6_1","series-title":"LNCS","first-page":"296","volume-title":"Proc. of TAPSOFT\/CAAP","author":"de Boer F.S.","year":"1991","unstructured":"F.S. de Boer and C. Palamidessi . A Fully Abstract Model for Concurrent Constraint Programming . In S. Abramsky and T.S.E. Maibaum, editors, Proc. of TAPSOFT\/CAAP , vol. 493 of LNCS , pages 296 -- 319 . Springer-Verlag , 1991 . F.S. de Boer and C. Palamidessi. A Fully Abstract Model for Concurrent Constraint Programming. In S. Abramsky and T.S.E. Maibaum, editors, Proc. of TAPSOFT\/CAAP, vol. 493 of LNCS, pages 296--319. Springer-Verlag, 1991."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90200-3"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. Eighth IEEE Symposium on Logic In Computer Science. IEEE Computer Society Press","author":"Brookes S.","year":"1993","unstructured":"S. Brookes . A fully abstract semantics of a shared variable parallel language . In Proc. Eighth IEEE Symposium on Logic In Computer Science. IEEE Computer Society Press , 1993 . S. Brookes. A fully abstract semantics of a shared variable parallel language. In Proc. Eighth IEEE Symposium on Logic In Computer Science. IEEE Computer Society Press, 1993."},{"key":"e_1_3_2_1_9_1","volume-title":"Introduction to Lattices and Order","author":"Davey B.A.","year":"1990","unstructured":"B.A. Davey and H.A. Priestley . Introduction to Lattices and Order . Cambridge University Press , 1990 . B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990."},{"key":"e_1_3_2_1_10_1","volume-title":"Peter J. Stuckey. The Refined Operational Semantics of Constraint Handling Rules. in Proc. of the 20th International Conference on Logic Programming, (ICLP'04)","author":"Duck J.","year":"2004","unstructured":"Gregory J. Duck , Maria Garcia de la Banda , Peter J. Stuckey. The Refined Operational Semantics of Constraint Handling Rules. in Proc. of the 20th International Conference on Logic Programming, (ICLP'04) , 2004 . Gregory J. Duck, Maria Garcia de la Banda, Peter J. Stuckey. The Refined Operational Semantics of Constraint Handling Rules. in Proc. of the 20th International Conference on Logic Programming, (ICLP'04), 2004."},{"key":"e_1_3_2_1_11_1","volume-title":"ECRC Munich.","author":"Fr\u00fcwirth T.","year":"1991","unstructured":"T. Fr\u00fcwirth . Introducing simplification rules. TR ECRC-LP-63 , ECRC Munich. October 1991 . T. Fr\u00fcwirth. Introducing simplification rules. TR ECRC-LP-63, ECRC Munich. October 1991."},{"issue":"19","key":"e_1_3_2_1_12_1","first-page":"1","volume":"1994","author":"Fr\u00fcwirth T.","unstructured":"T. Fr\u00fcwirth . Theory and practice of Constraint Handling Rules. Journal of Logic Programming , 1994 : 19 , 20: 1 -- 679 . T. Fr\u00fcwirth. Theory and practice of Constraint Handling Rules. Journal of Logic Programming, 1994:19, 20:1--679.","journal-title":"Journal of Logic Programming"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/323596.323601"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/645522.656463"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96733"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99627"}],"event":{"name":"PPDP05: Principles and Practice of Declarative Programming 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Lisbon Portugal","acronym":"PPDP05"},"container-title":["Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069794","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1069774.1069794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:38:23Z","timestamp":1750282703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1069774.1069794"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,11]]},"references-count":16,"alternative-id":["10.1145\/1069774.1069794","10.1145\/1069774"],"URL":"https:\/\/doi.org\/10.1145\/1069774.1069794","relation":{},"subject":[],"published":{"date-parts":[[2005,7,11]]},"assertion":[{"value":"2005-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}