{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:12Z","timestamp":1725559512962},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540266556"},{"type":"electronic","value":"9783540316831"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11506676_9","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T12:07:52Z","timestamp":1279454872000},"page":"133-148","source":"Crossref","is-referenced-by-count":3,"title":["Specialization of Concurrent Guarded Multi-set Transformation Rules"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017444","volume-title":"Principles and Practice of Constraint Programming - CP1997","author":"S. Abdennadher","year":"1997","unstructured":"Abdennadher, S.: Operational semantics and confluence of constraint propagation rules. In: Smolka, G. (ed.) CP 1997. LNCS, vol.\u00a01330. Springer, Heidelberg (1997)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-48085-3_4","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"S. Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: Operational equivalence of CHR programs and constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol.\u00a01713, pp. 43\u201357. Springer, Heidelberg (1999)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Based Program Synthesis and Transformation - LOPSTR 2003, Revised Selected Papers","author":"S. Abdennadher","year":"2004","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: Integration and optimization of rule-based constraint solvers. In: Bruynooghe, M. (ed.) Logic Based Program Synthesis and Transformation - LOPSTR 2003, Revised Selected Papers. LNCS. Springer, Heidelberg (2004)"},{"issue":"2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1009842826135","volume":"4","author":"S. Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: Confluence and semantics of constraint simplification rules. Constraints Journal\u00a04(2), 133\u2013165 (1999)","journal-title":"Constraints Journal"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-49059-0_16","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"G. Delzanno","year":"1999","unstructured":"Delzanno, G., Podelski, A.: Model checking in CLP. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 223\u2013239. Springer, Heidelberg (1999)"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/503502.503504","volume":"23","author":"S. Etalle","year":"2001","unstructured":"Etalle, S., Gabbrielli, M., Meo, M.C.: Transformations of CCP programs. ACM Trans. Program. Lang. Syst.\u00a023(3), 304\u2013395 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05138-2","volume-title":"Essentials of Constraint Programming","author":"T. Fr\u00fchwirth","year":"2003","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Fioravanti, F., Pettorossi, A., Proietti, M.: Verifying CTL properties of infinite state systems by specializing constraint logic programs. In: Leuschel, M., Podelski, A., Ramakrishnan, C.R., Ultes-Nitsche, U. (eds.) ACM SIGPLAN International Workshop on Verification and Computational Logic, pp. 85\u201396 (2001)","key":"9_CR8","DOI":"10.1007\/3-540-45142-0_8"},{"doi-asserted-by":"crossref","unstructured":"Fioravanti, F., Pettorossi, A., Proietti, M.: Transformation rules for locally stratified constraint logic programs (2004)","key":"9_CR9","DOI":"10.1007\/978-3-540-25951-0_10"},{"issue":"1-3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"unstructured":"Fr\u00fchwirth, T.: As time goes by: Automatic complexity analysis of simplification rules. In: 8th International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France (2002)","key":"9_CR11"},{"unstructured":"Mogensen, T., Sestoft, P.: Partial evaluation. In: Kent, A., Williams, J.G. (eds.) Encyclopedia of Computer Science and Technology, vol.\u00a037, pp. 247\u2013279 (1997)","key":"9_CR12"},{"issue":"1\/2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0888-613X(97)10006-8","volume":"18","author":"J. Puyol-Gruart","year":"1998","unstructured":"Puyol-Gruart, J., Godo, L., Sierra, C.: Specialisation calculus and communication. International Journal of Approximate Reasoning\u00a018(1\/2), 107\u2013130 (1998)","journal-title":"International Journal of Approximate Reasoning"},{"issue":"2","key":"9_CR14","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/234528.234529","volume":"28","author":"A. Pettorossi","year":"1996","unstructured":"Pettorossi, A., Proietti, M.: Rules and strategies for transforming functional and logic programs. ACM Comput. Surv.\u00a028(2), 360\u2013414 (1996)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1145\/982158.982160","volume":"26","author":"A. Roychoudhury","year":"2004","unstructured":"Roychoudhury, A., Narayan Kumar, K., Ramakrishnan, C.R., Ramakrishnan, I.V.: An unfold\/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst.\u00a026(3), 464\u2013509 (2004)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1145\/96709.96733","volume-title":"Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"V.A. Saraswat","year":"1990","unstructured":"Saraswat, V.A., Rinard, M.: Concurrent constraint programming. In: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 232\u2013245. ACM Press, New York (1990)"},{"unstructured":"Ueda, K., Furukawa, K.: Transformation rules for GHC programs. In: Proc. Int. Conf. on Fifth Generation Computer Systems 1988 (FGCS1988), pp. 582\u2013591 (1988)","key":"9_CR17"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-45193-8_4","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"T. Walsh","year":"2003","unstructured":"Walsh, T.: Constraint patterns. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 53\u201364. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Logic Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11506676_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,31]],"date-time":"2021-10-31T14:50:41Z","timestamp":1635691841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11506676_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540266556","9783540316831"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11506676_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}