{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T18:10:02Z","timestamp":1750788602502,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631387"},{"type":"electronic","value":"9783319631394"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63139-4_5","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T03:22:55Z","timestamp":1500866575000},"page":"76-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Slicing Concurrent Constraint Programs"],"prefix":"10.1007","author":[{"given":"Moreno","family":"Falaschi","sequence":"first","affiliation":[]},{"given":"Maurizio","family":"Gabbrielli","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-642-22438-6_5","volume-title":"Automated Deduction \u2013 CADE-23","author":"M Alpuente","year":"2011","unstructured":"Alpuente, M., Ballis, D., Espert, J., Romero, D.: Backward trace slicing for rewriting logic theories. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol. 6803, pp. 34\u201348. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22438-6_5"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/j.scico.2013.09.018","volume":"80","author":"M Alpuente","year":"2014","unstructured":"Alpuente, M., Ballis, D., Frechina, F., Romero, D.: Using conditional trace slicing for improving Maude programs. Sci. Comput. Program. 80, 385\u2013415 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"5_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20132","key":"5_CR4","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/s10601-007-9034-8","volume":"13","author":"L Bortolussi","year":"2008","unstructured":"Bortolussi, L., Policriti, A.: Modeling biological systems in stochastic concurrent constraint programming. Constraints 13(1\u20132), 66\u201390 (2008)","journal-title":"Constraints"},{"key":"5_CR5","volume-title":"Les Math\u00e9matiques Naturelles","author":"M Chemillier","year":"2007","unstructured":"Chemillier, M.: Les Math\u00e9matiques Naturelles. Odile Jacob, Paris (2007)"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1145\/177492.177656","volume":"16","author":"M Codish","year":"1994","unstructured":"Codish, M., Falaschi, M., Marriott, K.: Suspension analyses for concurrent logic programs. ACM Trans. Program. Lang. Syst. 16(3), 649\u2013686 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4\u20135","key":"5_CR7","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1017\/S1471068411000135","volume":"11","author":"M Comini","year":"2011","unstructured":"Comini, M., Titolo, L., Villanueva, A.: Abstract diagnosis for timed concurrent constraint programs. Theor. Pract. Log. Program. 11(4\u20135), 487\u2013502 (2011)","journal-title":"Theor. Pract. Log. Program."},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1006\/inco.1999.2879","volume":"161","author":"FS Boer de","year":"2000","unstructured":"de Boer, F.S., Gabbrielli, M., Meo, M.C.: A timed concurrent constraint language. Inf. Comput. 161(1), 45\u201383 (2000)","journal-title":"Inf. Comput."},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(95)00047-Z","volume":"151","author":"FS Boer de","year":"1995","unstructured":"de Boer, F.S., Di Pierro, A., Palamidessi, C.: Nondeterminism and infinite computations in constraint programming. Theor. Comput. Sci. 151(1), 37\u201378 (1995)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1006\/inco.2000.3002","volume":"165","author":"F Fages","year":"2001","unstructured":"Fages, F., Ruet, P., Soliman, S.: Linear concurrent constraint programming: operational and phase semantics. Inf. Comput. 165(1), 14\u201341 (2001)","journal-title":"Inf. Comput."},{"issue":"3","key":"5_CR11","first-page":"312","volume":"15","author":"M Falaschi","year":"2015","unstructured":"Falaschi, M., Olarte, C., Palamidessi, C.: Abstract interpretation of temporal concurrent constraint programs. TPLP 15(3), 312\u2013357 (2015)","journal-title":"TPLP"},{"issue":"1\u20133","key":"5_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P Hentenryck Van","year":"1998","unstructured":"Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). J. Log. Program. 37(1\u20133), 139\u2013164 (1998)","journal-title":"J. Log. Program."},{"issue":"3","key":"5_CR13","first-page":"12:1","volume":"44","author":"S Josep","year":"2012","unstructured":"Josep, S.: A vocabulary of program slicing-based techniques. ACM Comput. Surv. 44(3), 12:1\u201312:41 (2012)","journal-title":"ACM Comput. Surv."},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/978-3-642-32940-1_23","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"S Knight","year":"2012","unstructured":"Knight, S., Palamidessi, C., Panangaden, P., Valencia, F.D.: Spatial and epistemic modalities in constraint-based process calculi. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 317\u2013332. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32940-1_23"},{"issue":"3","key":"5_CR15","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B Korel","year":"1988","unstructured":"Korel, B., Laski, J.: Dynamic program slicing. Inf. Process. Lett. 29(3), 155\u2013163 (1988)","journal-title":"Inf. Process. Lett."},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"de Maria, E., Despeyroux, J., Felty, A.P.: A logical framework for systems biology. In: Fages, F., Piazza, C. (eds.) FMMB 2014. LNCS, vol. 8738, pp. 136\u2013155. Springer, Cham (2014). doi: 10.1007\/978-3-319-10398-3_10","DOI":"10.1007\/978-3-319-10398-3_10"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: On the expressive power of temporal concurrent constraint programming languages. In: Proceedings of PPDP 2002, pp. 156\u2013167. ACM (2002)","DOI":"10.1145\/571157.571173"},{"issue":"1","key":"5_CR18","first-page":"145","volume":"9","author":"M Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: denotation, logic and applications. Nord. J. Comput. 9(1), 145\u2013188 (2002)","journal-title":"Nord. J. Comput."},{"issue":"1\u20132","key":"5_CR19","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10990-008-9023-7","volume":"21","author":"C Ochoa","year":"2008","unstructured":"Ochoa, C., Silva, J., Vidal, G.: Dynamic slicing of lazy functional programs based on redex trails. High. Order Symbol. Comput. 21(1\u20132), 147\u2013192 (2008)","journal-title":"High. Order Symbol. Comput."},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.tcs.2015.06.031","volume":"606","author":"C Olarte","year":"2015","unstructured":"Olarte, C., Pimentel, E., Nigam, V.: Subexponential concurrent constraint programming. Theor. Comput. Sci. 606, 98\u2013120 (2015)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR21","first-page":"133","volume-title":"Constraint Programming in Music","author":"C Olarte","year":"2011","unstructured":"Olarte, C., Rueda, C., Sarria, G., Toro, M., Valencia, F.D.: Concurrent constraints models of music interaction. In: Assayag, G., Truchet, C. (eds.) Constraint Programming in Music, pp. 133\u2013153. Wiley, Hoboken (2011)"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s10601-013-9145-3","volume":"18","author":"C Olarte","year":"2013","unstructured":"Olarte, C., Rueda, C., Valencia, F.D.: Models and emerging trends of concurrent constraint programming. Constraints 18(4), 535\u2013578 (2013)","journal-title":"Constraints"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Olarte, C., Valencia, F.D.: Universal concurrent constraint programing: symbolic semantics and applications to security. In: Wainwright, R.L., Haddad, H. (eds.) SAC, pp. 145\u2013150. ACM (2008)","DOI":"10.1145\/1363686.1363726"},{"key":"5_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming","author":"VA Saraswat","year":"1993","unstructured":"Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)"},{"issue":"5\/6","key":"5_CR25","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"VA Saraswat","year":"1996","unstructured":"Saraswat, V.A., Jagadeesan, R., Gupta, V.: Timed default concurrent constraint programming. J. Symb. Comput. 22(5\/6), 475\u2013520 (1996)","journal-title":"J. Symb. Comput."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M.C., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Wise, D.S. (ed.) POPL, pp. 333\u2013352. ACM Press (1991)","DOI":"10.1145\/99583.99627"},{"key":"5_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program DeBugging","author":"EY Shapiro","year":"1983","unstructured":"Shapiro, E.Y.: Algorithmic Program DeBugging. MIT Press, Cambridge (1983)"},{"issue":"4","key":"5_CR28","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Trans. Softw. Eng. 10(4), 352\u2013357 (1984)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63139-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T17:28:37Z","timestamp":1750786117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63139-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631387","9783319631394"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63139-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 July 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LOPSTR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Logic-Based Program Synthesis and Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Edinburgh","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lopstr2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.cliplab.org\/Conferences\/LOPSTR16\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}