, || ask(c, tell(d) || tell(b)) || tell(a) || ask(e, skip) ; t

, || ask(c, tell(d) || tell(b)) || ask(e, skip) ; a

, tell(c) || ask(c, tell(d) || tell(b)) || ask(e, skip) ; a

, ask(c, tell(d) || tell(b)) || ask(e, skip)

, tell(d) || tell(b) || ask(e, skip)

, ask(e, skip) ; a,c,b,d] If the user selects only {d} as slicing criterion, our implementation

, || ask(c, tell(d) || *) || tell(a) || * ; t

, || ask(c, tell(d) || *) || * ; a

, tell(c) || ask(c, tell(d) || *) || *

V. A. Saraswat, Concurrent Constraint Programming, 1993.

V. A. Saraswat, M. C. Rinard, and P. Panangaden, Semantic Foundations of Concurrent Constraint Programming, pp.333-352, 1991.

C. Olarte, C. Rueda, and F. D. Valencia, Models and emerging trends of concurrent constraint programming, Constraints, vol.18, issue.4, pp.535-578, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00869192

L. Bortolussi and A. Policriti, Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, vol.13, issue.1-2, pp.66-90, 2008.

V. A. Saraswat, R. Jagadeesan, and V. Gupta, Timed Default Concurrent Constraint Programming, J. Symb. Comput, vol.22, issue.5/6, pp.475-520, 1996.

M. Nielsen, C. Palamidessi, and F. D. Valencia, Temporal Concurrent Constraint Programming: Denotation, Logic and Applications, Nord. J. Comput, vol.9, issue.1, pp.145-188, 2002.

F. S. De-boer, M. Gabbrielli, and M. C. Meo, A Timed Concurrent Constraint Language, Inf. Comput, vol.161, issue.1, pp.45-83, 2000.

C. Olarte and F. D. Valencia, Universal concurrent constraint programing: symbolic semantics and applications to security, pp.145-150, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00201497

S. Knight, C. Palamidessi, P. Panangaden, and F. D. Valencia, Spatial and Epistemic Modalities in Constraint-Based Process Calculi, LNCS. Springer. ISBN, vol.7454, pp.317-332, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00761116

C. Olarte, E. Pimentel, and V. Nigam, Subexponential concurrent constraint programming, Theor. Comput. Sci, vol.606, pp.98-120, 2015.

M. Codish, M. Falaschi, and K. Marriott, Suspension Analyses for Concurrent Logic Programs, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.649-686, 1994.

M. Comini, L. Titolo, and A. Villanueva, Abstract Diagnosis for Timed Concurrent Constraint programs. Theory and Practice of Logic Programming, vol.11, pp.487-502, 2011.

M. Falaschi, C. Olarte, and C. Palamidessi, Abstract interpretation of temporal concurrent constraint programs, TPLP, vol.15, issue.3, pp.312-357, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00945462

E. Y. Shapiro, Algorithmic Program DeBugging, 1983.

M. Weiser, Program slicing, IEEE Trans. on Software Engineering, vol.10, issue.4, pp.352-357, 1984.

B. Korel and J. Laski, Dynamic Program Slicing, Inf. Process. Lett, vol.29, issue.3, pp.90054-90057, 1988.

C. Ochoa, J. Silva, and G. Vidal, Dynamic Slicing of Lazy Functional Programs Based on Redex Trails, Higher Order Symbol. Comput, vol.21, issue.1-2, pp.147-192, 2008.

M. Alpuente, D. Ballis, J. Espert, and D. Romero, Backward Trace Slicing for Rewriting Logic Theories, Proc. of CADE'11, pp.34-48, 2011.

M. Alpuente, D. Ballis, F. Frechina, and D. Romero, Using Conditional Trace Slicing for Improving Maude Programs, Sci. Comput. Program, vol.80, pp.385-415, 2014.

S. Josep, A Vocabulary of Program Slicing-based Techniques, ACM Comput. Surv, vol.44, issue.3, p.41, 2012.

M. Falaschi, M. Gabbrielli, C. Olarte, and C. Palamidessi, Slicing Concurrent Constraint Programs, Proc. of LOPSTR 2016, vol.10184, pp.76-93, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01421407

F. S. De-boer, A. D. Pierro, and C. Palamidessi, Nondeterminism and Infinite Computations in Constraint Programming, Theoretical Computer Science, vol.151, issue.1, pp.37-78, 1995.

P. V. Hentenryck, V. A. Saraswat, and Y. Deville, Design, Implementation, and Evaluation of the Constraint Language cc(FD), J. Log. Program, vol.37, issue.1-3, pp.139-164, 1998.

V. A. Saraswat, The Category of Constraint Systems is Cartesian-Closed, Proceedings of LICS'92, pp.341-345, 1992.

G. Smolka, A Foundation for Higher-order Concurrent Constraint Programming, Lecture Notes in Computer Science. Springer. ISBN, vol.845, pp.50-72, 1994.

, Girard J. Linear Logic. Theor. Comput. Sci, vol.50, pp.1-102, 1987.

F. Fages, P. Ruet, and S. Soliman, Linear Concurrent Constraint Programming: Operational and Phase Semantics, Inf. Comput, vol.165, issue.1, pp.14-41, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01431358

P. Ruet and F. Fages, Concurrent Constraint Programming and Non-commutative Logic, Proceedings of CSL'97, vol.1414, pp.406-423, 1997.

G. Berry and G. Gonthier, The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

V. A. Saraswat, R. Jagadeesan, and V. Gupta, Foundations of Timed Concurrent Constraint Programming, Proceedings of LICS'94, pp.71-80, 1994.

M. Nielsen, C. Palamidessi, and F. D. Valencia, On the expressive power of temporal concurrent constraint program. languages, Proc. of PPDP'02, pp.156-167, 2002.

C. Olarte and E. Pimentel, On concurrent behaviors and focusing in linear logic, Theor. Comput. Sci, vol.685, pp.46-64, 2017.

C. Olarte, E. Pimentel, and C. Rueda, A concurrent constraint programming interpretation of access permissions, TPLP, vol.18, issue.2, pp.252-295, 2018.

, Chemillier M. Les Mathématiques Naturelles. Odile Jacob, 2007.

C. Olarte, C. Rueda, G. Sarria, M. Toro, and F. D. Valencia, Concurrent Constraints Models of Music Interaction, Constraint Programming in Music, pp.133-153, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00662257

M. Guzmán, S. Haar, S. Perchy, C. Rueda, and F. D. Valencia, Belief, knowledge, lies and other utterances in an algebra for space and extrusion, J. Log. Algebr. Meth. Program, vol.86, issue.1, pp.107-133, 2017.

M. Falaschi and C. Olarte, An assertion language for slicing Constraint Logic Languages, Proceedings of LOPSTR, vol.11408, pp.148-165, 2018.

J. Jaffar, M. J. Maher, K. Marriott, and P. J. Stuckey, The Semantics of Constraint Logic Programs, J. Log. Program, vol.37, issue.1-3, pp.1-46, 1998.

M. Falaschi, C. Olarte, C. Palamidessi, and F. Valencia, Declarative Diagnosis of Temporal Concurrent Constraint Programs, Proc. of ICLP, vol.4670, pp.271-285, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00201065

C. Bodei, L. Brodo, R. Gori, F. Levi, A. Bernini et al., A static analysis for Brane Calculi providing global occurrence counting information, Theoretical Computer Science, vol.696, pp.11-51, 2017.

C. Bodei, L. Brodo, R. Gori, D. Hermith, and F. Levi, A Global Occurrence Counting Analysis for Brane Calculi, Proc. of LOPSTR2015, vol.9527, pp.179-200, 2015.

C. Bodei, L. Brodo, and R. Focardi, Static Evidences for Attack Reconstruction, Proc. of Programming Languages with Applications to Biology and Security, vol.9465, pp.162-182, 2015.

C. Olarte, D. Chiarugi, M. Falaschi, and D. Hermith, A proof theoretic view of spatial and temporal dependencies in biochemical systems, Theor. Comput. Sci, vol.641, pp.25-42, 2016.

D. Chiarugi, M. Falaschi, D. Hermith, C. Olarte, and L. Torella, Modelling non-Markovian dynamics in biochemical reactions, BMC Systems Biology, issue.9, p.8, 2015.

A. Bernini, L. Brodo, P. Degano, M. Falaschi, and D. Hermith, Process calculi for biological processes, Natural Computing, vol.17, issue.2, pp.345-373, 2018.

C. Bodei, L. Brodo, R. Bruni, and D. Chiarugi, A flat process calculus for nested membrane interactions, Scientific Annals of Computer Science, vol.24, issue.1, pp.91-136, 2014.