Slicing concurrent constraint programs
From MaRDI portal
Publication:2409727
DOI10.1007/978-3-319-63139-4_5zbMath1485.68046arXiv1608.05252OpenAlexW2510601783MaRDI QIDQ2409727
Carlos Olarte, Catuscia Palamidessi, Moreno Falaschi, Maurizio Gabbrielli
Publication date: 13 October 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.05252
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Nondeterminism and infinite computations in constraint programming
- Timed default concurrent constraint programming
- Subexponential concurrent constraint programming
- Modeling biological systems in stochastic concurrent constraint programming
- Dynamic program slicing
- The Esterel synchronous programming language: Design, semantics, implementation
- Truly concurrent constraint programming
- A timed concurrent constraint language.
- Linear concurrent constraint programming: Operational and phase semantics
- Dynamic slicing of lazy functional programs based on redex trails
- Models and emerging trends of concurrent constraint programming
- On concurrent behaviors and focusing in linear logic
- A static analysis for brane calculi providing global occurrence counting information
- Slicing concurrent constraint programs
- Verification of spatial and temporal modalities in biochemical systems
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A vocabulary of program slicing-based techniques
- Spatial and Epistemic Modalities in Constraint-Based Process Calculi
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus
- Abstract diagnosis for timed concurrent constraint programs
- Program Slicing
- Static Evidences for Attack Reconstruction
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- Design, implementation, and evaluation of the constraint language cc(FD)
- Abstract interpretation of temporal concurrent constraint programs
- A concurrent constraint programming interpretation of access permissions
- A foundation for higher-order concurrent constraint programming
- Backward Trace Slicing for Rewriting Logic Theories
- A Global Occurrence Counting Analysis for Brane Calculi
- An assertion language for slicing constraint logic languages
This page was built for publication: Slicing concurrent constraint programs