{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T08:23:50Z","timestamp":1750494230269,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696087"},{"type":"electronic","value":"9783540696117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69611-7_11","type":"book-chapter","created":{"date-parts":[[2007,4,26]],"date-time":"2007-04-26T09:40:18Z","timestamp":1177580418000},"page":"170-184","source":"Crossref","is-referenced-by-count":6,"title":["Compiling Constraint Handling Rules for Efficient Tabled Evaluation"],"prefix":"10.1007","author":[{"given":"Beata","family":"Sarna-Starosta","sequence":"first","affiliation":[]},{"given":"C. R.","family":"Ramakrishnan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/BFb0017444","volume-title":"Principles and Practice of Constraint Programming - CP97","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, pp. 252\u2013266. Springer, Heidelberg (1997)"},{"key":"11_CR2","unstructured":"Anderson, L.O.: Program Analysis and Specialization for the C Programming Language. Ph.D thesis, DIKU, Unversity of Copenhagen (1994)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Sewell, P.: Cassandra: Flexible trust management, applied to electronic health records. In: IEEE Computer Security Foundations Workshop (CSFW), pp. 139\u2013154 (2004)","DOI":"10.1109\/CSFW.2004.1310738"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Chen, W., Warren, D.S.: Tabled evaluation with delaying for general logic programs. Journal of the ACM\u00a043(1), 20\u201374 (1996)","journal-title":"Journal of the ACM"},{"key":"11_CR5","volume-title":"ACM PLDI","author":"S. Dawson","year":"1996","unstructured":"Dawson, S., Ramakrishnan, C.R., Warren, D.S.: Practical program analysis using general purpose logic programming systems \u2014 a case study. In: ACM PLDI. ACM Press, New York (1996)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-45578-7_20","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"G. Delzanno","year":"2001","unstructured":"Delzanno, G., Bultan, T.: Constraint-based verification of client-server protocols. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 286\u2013301. Springer, Heidelberg (2001)"},{"key":"11_CR7","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)"},{"key":"11_CR8","unstructured":"Demoen, B.: hProlog, http:\/\/www.cs.kuleuven.ac.be\/~bmd\/hProlog\/"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-27775-0_7","volume-title":"Logic Programming","author":"G.J. Duck","year":"2004","unstructured":"Duck, G.J., Stuckey, P.J., de la Banda, M.J.G., Holzbaur, C.: The Refined Operational Semantics of Constraint Handling Rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 90\u2013104. Springer, Heidelberg (2004)"},{"issue":"1\u20133","key":"11_CR10","doi-asserted-by":"crossref","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, Special Issue on Constraint Logic Programming\u00a037(1\u20133), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming, Special Issue on Constraint Logic Programming"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Holzbaur","year":"1992","unstructured":"Holzbaur, C.: Metastructures versus Attributed Variables in the Context of Extensible Unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol.\u00a0631, pp. 260\u2013268. Springer, Heidelberg (1992)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45635-X_13","volume-title":"Logic Programming","author":"C. Holzbaur","year":"2001","unstructured":"Holzbaur, C., de la Banda, M.G., Jeffery, D., Stuckey, P.J.: Optimizing Compilation of Constraint Handling Rules. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237. Springer, Heidelberg (2001)"},{"issue":"4-5","key":"11_CR13","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1017\/S1471068405002413","volume":"5","author":"C. Holzbaur","year":"2005","unstructured":"Holzbaur, C., et al.: Optimizing compilation of constraint handling rules in HAL. Theory and Practice of Logic Programming, Special Issue on Constraint Handling Rules\u00a05(4-5), 503\u2013531 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/10704567_7","volume-title":"Principles and Practice of Declarative Programming","author":"C. Holzbaur","year":"1999","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.W.: Compiling Constraint Handling Rules into Prolog with Attributed Variables. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 117\u2013133. Springer, Heidelberg (1999)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2002","unstructured":"Li, N., Mitchell, J.C.: Datalog with constraints: A foundation for trust management languages. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2002)"},{"key":"11_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1984)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45619-8_8","volume-title":"Logic Programming","author":"G. Pemmasani","year":"2002","unstructured":"Pemmasani, G., Ramakrishnan, C.R., Ramakrishnan, I.V.: Efficient model checking of real time systems using tabled logic programming and constraints. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401. Springer, Heidelberg (2002)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/10722167_48","volume-title":"Computer Aided Verification","author":"C.R. Ramakrishnan","year":"2000","unstructured":"Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Dong, Y., Du, X., Roychoudhury, A., Venkatakrishnan, V.N.: XMC: A logic-programming-based verification toolset. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 576\u2013580. Springer, Heidelberg (2000)"},{"key":"11_CR19","unstructured":"Sagonas, K., Swift, T., Warren, D.S., Rao, P., Friere, J.: The XSB logic programming system, http:\/\/xsb.sourceforge.net"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-540-39893-6_33","volume-title":"Formal Methods and Software Engineering","author":"B. Sarna-Starosta","year":"2003","unstructured":"Sarna-Starosta, B., Ramakrishnan, C.R.: Constraint-based model checking of data-independent systems. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 579\u2013598. Springer, Heidelberg (2003)"},{"key":"11_CR21","unstructured":"Sarna-Starosta, B., Stirewalt, R.E.K., Dillon, L.K.: A model-based design-for-verification approach to checking for deadlock in multi-threaded systems. In: 18th International Conference on Software Engineering and Knowledge Engineering (SEKE) (2006)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Schrijvers, T.: Analyses, optimizations and extensions of Constraint Handling Rules. Ph.D thesis, K.U.Leuven (2005)","DOI":"10.1007\/11562931_44"},{"key":"#cr-split#-11_CR23.1","unstructured":"Schrijvers, T., Demoen, B.: The K.U.Leuven CHR system: Implementation and application. In: First workshop on constraint handling rules: selected contributions, pp. 1\u20135 (2004);"},{"key":"#cr-split#-11_CR23.2","unstructured":"Published as technical report: Ulmer Informatik-Berichte Nr. 2004-01"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Schrijvers, T., Warren, D.S.: Constraint handling rules and tabled execution. In: ICLP, pp. 120\u2013136 (2004)","DOI":"10.1007\/978-3-540-27775-0_9"},{"key":"11_CR25","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: The Computational Power and Complexity of Constraint Handling Rules. In: CHR 2005 (2005)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_8","volume-title":"Logic Programming","author":"J. Sneyers","year":"2006","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: Memory reuse for CHR. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079. Springer, Heidelberg (2006)"},{"key":"11_CR27","unstructured":"Swedish Institute of Computer Science. SICStus Prolog System, http:\/\/www.sics.se\/isl\/sicstuswww\/site\/index.html"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"Third International Conference on Logic Programming","author":"H. Tamaki","year":"1986","unstructured":"Tamaki, H., Sato, T.: OLDT resolution with tabulation. In: Shapiro, E. (ed.) ICLP 1986. LNCS, vol.\u00a0225, pp. 84\u201398. Springer, Heidelberg (1986)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69611-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T22:39:18Z","timestamp":1736980758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69611-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540696087","9783540696117"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69611-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}