, || 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) || *) || *
, Concurrent Constraint Programming, 1993.
Semantic Foundations of Concurrent Constraint Programming, pp.333-352, 1991. ,
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
Modeling Biological Systems in Stochastic Concurrent Constraint Programming, Constraints, vol.13, issue.1-2, pp.66-90, 2008. ,
Timed Default Concurrent Constraint Programming, J. Symb. Comput, vol.22, issue.5/6, pp.475-520, 1996. ,
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications, Nord. J. Comput, vol.9, issue.1, pp.145-188, 2002. ,
A Timed Concurrent Constraint Language, Inf. Comput, vol.161, issue.1, pp.45-83, 2000. ,
Universal concurrent constraint programing: symbolic semantics and applications to security, pp.145-150, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00201497
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
Subexponential concurrent constraint programming, Theor. Comput. Sci, vol.606, pp.98-120, 2015. ,
Suspension Analyses for Concurrent Logic Programs, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.649-686, 1994. ,
Abstract Diagnosis for Timed Concurrent Constraint programs. Theory and Practice of Logic Programming, vol.11, pp.487-502, 2011. ,
Abstract interpretation of temporal concurrent constraint programs, TPLP, vol.15, issue.3, pp.312-357, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-00945462
Algorithmic Program DeBugging, 1983. ,
Program slicing, IEEE Trans. on Software Engineering, vol.10, issue.4, pp.352-357, 1984. ,
Dynamic Program Slicing, Inf. Process. Lett, vol.29, issue.3, pp.90054-90057, 1988. ,
Dynamic Slicing of Lazy Functional Programs Based on Redex Trails, Higher Order Symbol. Comput, vol.21, issue.1-2, pp.147-192, 2008. ,
Backward Trace Slicing for Rewriting Logic Theories, Proc. of CADE'11, pp.34-48, 2011. ,
Using Conditional Trace Slicing for Improving Maude Programs, Sci. Comput. Program, vol.80, pp.385-415, 2014. ,
A Vocabulary of Program Slicing-based Techniques, ACM Comput. Surv, vol.44, issue.3, p.41, 2012. ,
Slicing Concurrent Constraint Programs, Proc. of LOPSTR 2016, vol.10184, pp.76-93, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01421407
Nondeterminism and Infinite Computations in Constraint Programming, Theoretical Computer Science, vol.151, issue.1, pp.37-78, 1995. ,
Design, Implementation, and Evaluation of the Constraint Language cc(FD), J. Log. Program, vol.37, issue.1-3, pp.139-164, 1998. ,
The Category of Constraint Systems is Cartesian-Closed, Proceedings of LICS'92, pp.341-345, 1992. ,
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.
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
Concurrent Constraint Programming and Non-commutative Logic, Proceedings of CSL'97, vol.1414, pp.406-423, 1997. ,
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
Foundations of Timed Concurrent Constraint Programming, Proceedings of LICS'94, pp.71-80, 1994. ,
On the expressive power of temporal concurrent constraint program. languages, Proc. of PPDP'02, pp.156-167, 2002. ,
On concurrent behaviors and focusing in linear logic, Theor. Comput. Sci, vol.685, pp.46-64, 2017. ,
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.
Concurrent Constraints Models of Music Interaction, Constraint Programming in Music, pp.133-153, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00662257
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. ,
An assertion language for slicing Constraint Logic Languages, Proceedings of LOPSTR, vol.11408, pp.148-165, 2018. ,
The Semantics of Constraint Logic Programs, J. Log. Program, vol.37, issue.1-3, pp.1-46, 1998. ,
Declarative Diagnosis of Temporal Concurrent Constraint Programs, Proc. of ICLP, vol.4670, pp.271-285, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00201065
A static analysis for Brane Calculi providing global occurrence counting information, Theoretical Computer Science, vol.696, pp.11-51, 2017. ,
A Global Occurrence Counting Analysis for Brane Calculi, Proc. of LOPSTR2015, vol.9527, pp.179-200, 2015. ,
Static Evidences for Attack Reconstruction, Proc. of Programming Languages with Applications to Biology and Security, vol.9465, pp.162-182, 2015. ,
A proof theoretic view of spatial and temporal dependencies in biochemical systems, Theor. Comput. Sci, vol.641, pp.25-42, 2016. ,
Modelling non-Markovian dynamics in biochemical reactions, BMC Systems Biology, issue.9, p.8, 2015. ,
Process calculi for biological processes, Natural Computing, vol.17, issue.2, pp.345-373, 2018. ,
A flat process calculus for nested membrane interactions, Scientific Annals of Computer Science, vol.24, issue.1, pp.91-136, 2014. ,