{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:22Z","timestamp":1725490222169},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"},{"type":"electronic","value":"9783540746102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74610-2_48","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"466-468","source":"Crossref","is-referenced-by-count":0,"title":["Extension and Implementation of CHR"],"prefix":"10.1007","author":[{"given":"Peter","family":"Van Weert","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"The CHR Home Page, http:\/\/www.cs.kuleuven.be\/~dtai\/projects\/CHR\/"},{"key":"48_CR2","series-title":"ch. 7","volume-title":"Parallel Processing for AI","author":"J.N. Amaral","year":"1994","unstructured":"Amaral, J.N., Ghosh, J.: Speeding up production systems: concurrent matching to parallel rule firing. In: Parallel Processing for AI. ch. 7, Elsevier, Amsterdam (1994)"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"G.\u00a0J. Duck, P.\u00a0J. Stuckey, de la Banda, M.G. Holzbaur, C.: The refined operational semantics of CHR. In: 27th Intl. Conf. on Logic Programming (2004)","DOI":"10.1007\/978-3-540-27775-0_7"},{"issue":"1\u20133","key":"48_CR4","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\u20133), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11562931_11","volume-title":"Logic Programming","author":"T. Fr\u00fchwirth","year":"2005","unstructured":"Fr\u00fchwirth, T.: Parallelizing union-find in Constraint Handling Rules using confluence. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, Springer, Heidelberg (2005)"},{"key":"48_CR6","unstructured":"Lam, E., Sulzmann, M.: A concurrent CHR implementation in Haskell with STM. In Workshop on Declarative Aspects of Multicore Programming, Nice (2007)"},{"issue":"5","key":"48_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E.A. Lee","year":"2006","unstructured":"Lee, E.A.: The problem with threads. Computer\u00a039(5), 33\u201342 (2006)","journal-title":"Computer"},{"key":"48_CR8","unstructured":"Sneyers, J., Van Weert, P., Schrijvers, P., Demoen, B.: Aggregates in CHR. Technical Report CW 481, Leuven, K.U. Dept. of Computer Science, Belgium (2007)"},{"key":"48_CR9","unstructured":"Sneyers, J., Van Weert, P., Schrijvers, T., Demoen, B.: Aggregates in CHR \u2013 extended abstract. In: 23rd Intl. Conf. on Logic Programming, Porto (2007)"},{"issue":"3","key":"48_CR10","first-page":"16","volume":"30","author":"H. Sutter","year":"2005","unstructured":"Sutter, H.: The free lunch is over: A fundamental turn toward concurrency in software. Dr.\u00a0Dobb\u2019s Journal\u00a030(3), 16\u201320 (2005)","journal-title":"Dr.\u00a0Dobb\u2019s Journal"},{"key":"48_CR11","unstructured":"Van Weert, P., Schrijvers, T., Demoen, B.: Leuven K.U. JCHR: user-friendly, flexible and efficient CHR for Java. In: Second Workshop on Constraint Handling Rules, pp. 47\u201362, Sitges, Spain (October 2005)"},{"key":"48_CR12","unstructured":"P. Van\u00a0Weert, J. Sneyers, et\u00a0al.: To CHR or not to CHR: Extending CHR with negation as absence. Technical Report CW 446, K.U.Leuven (May 2006)"},{"key":"48_CR13","unstructured":"Van Weert, P., Sneyers, J., Schrijvers, T., Demoen, B.: Extending CHR with negation as absence. In: Third Workshop on CHR, pp. 125\u2013139, Venice (2006)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T15:19:33Z","timestamp":1556810373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540746089","9783540746102"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}