Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953365512> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2953365512 abstract "Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. Some previous works have developed (approximated) declarative debuggers for CCP languages. However, the task of debugging concurrent programs remains difficult. In this paper we define a dynamic slicer for CCP and we show it to be a useful companion tool for the existing debugging techniques. Our technique starts by considering a partial computation (a trace) that shows the presence of bugs. Often, the quantity of information in such a trace is overwhelming, and the user gets easily lost, since she cannot focus on the sources of the bugs. Our slicer allows for marking part of the state of the computation and assists the user to eliminate most of the redundant information in order to highlight the errors. We show that this technique can be tailored to timed variants of CCP. We also develop a prototypical implementation freely available for making experiments." @default.
- W2953365512 created "2019-06-27" @default.
- W2953365512 creator A5025039355 @default.
- W2953365512 creator A5047180960 @default.
- W2953365512 creator A5053216941 @default.
- W2953365512 creator A5090842450 @default.
- W2953365512 date "2016-01-01" @default.
- W2953365512 modified "2023-09-25" @default.
- W2953365512 title "Slicing Concurrent Constraint Programs" @default.
- W2953365512 cites W1503576365 @default.
- W2953365512 cites W1514468887 @default.
- W2953365512 cites W1769384601 @default.
- W2953365512 cites W1974828145 @default.
- W2953365512 cites W1981281472 @default.
- W2953365512 cites W1982601629 @default.
- W2953365512 cites W1994157580 @default.
- W2953365512 cites W2020916002 @default.
- W2953365512 cites W2041090148 @default.
- W2953365512 cites W2050653042 @default.
- W2953365512 cites W2059656088 @default.
- W2953365512 cites W2067273780 @default.
- W2953365512 cites W2079083905 @default.
- W2953365512 cites W2081938726 @default.
- W2953365512 cites W2088821694 @default.
- W2953365512 cites W2110066339 @default.
- W2953365512 cites W2119170644 @default.
- W2953365512 cites W2127423724 @default.
- W2953365512 cites W2164297069 @default.
- W2953365512 cites W2245309594 @default.
- W2953365512 cites W2293624369 @default.
- W2953365512 cites W2949479322 @default.
- W2953365512 cites W2949975430 @default.
- W2953365512 cites W614375011 @default.
- W2953365512 cites W2142423074 @default.
- W2953365512 hasPublicationYear "2016" @default.
- W2953365512 type Work @default.
- W2953365512 sameAs 2953365512 @default.
- W2953365512 citedByCount "1" @default.
- W2953365512 countsByYear W29533655122018 @default.
- W2953365512 crossrefType "proceedings-article" @default.
- W2953365512 hasAuthorship W2953365512A5025039355 @default.
- W2953365512 hasAuthorship W2953365512A5047180960 @default.
- W2953365512 hasAuthorship W2953365512A5053216941 @default.
- W2953365512 hasAuthorship W2953365512A5090842450 @default.
- W2953365512 hasBestOaLocation W29533655122 @default.
- W2953365512 hasConcept C121684516 @default.
- W2953365512 hasConcept C173608175 @default.
- W2953365512 hasConcept C199360897 @default.
- W2953365512 hasConcept C204306468 @default.
- W2953365512 hasConcept C2524010 @default.
- W2953365512 hasConcept C2776036281 @default.
- W2953365512 hasConcept C2776190703 @default.
- W2953365512 hasConcept C33923547 @default.
- W2953365512 hasConcept C34165917 @default.
- W2953365512 hasConcept C41008148 @default.
- W2953365512 hasConcept C50033165 @default.
- W2953365512 hasConcept C91071405 @default.
- W2953365512 hasConcept C96315309 @default.
- W2953365512 hasConceptScore W2953365512C121684516 @default.
- W2953365512 hasConceptScore W2953365512C173608175 @default.
- W2953365512 hasConceptScore W2953365512C199360897 @default.
- W2953365512 hasConceptScore W2953365512C204306468 @default.
- W2953365512 hasConceptScore W2953365512C2524010 @default.
- W2953365512 hasConceptScore W2953365512C2776036281 @default.
- W2953365512 hasConceptScore W2953365512C2776190703 @default.
- W2953365512 hasConceptScore W2953365512C33923547 @default.
- W2953365512 hasConceptScore W2953365512C34165917 @default.
- W2953365512 hasConceptScore W2953365512C41008148 @default.
- W2953365512 hasConceptScore W2953365512C50033165 @default.
- W2953365512 hasConceptScore W2953365512C91071405 @default.
- W2953365512 hasConceptScore W2953365512C96315309 @default.
- W2953365512 hasLocation W29533655121 @default.
- W2953365512 hasLocation W29533655122 @default.
- W2953365512 hasOpenAccess W2953365512 @default.
- W2953365512 hasPrimaryLocation W29533655121 @default.
- W2953365512 hasRelatedWork W1577054858 @default.
- W2953365512 hasRelatedWork W1995407414 @default.
- W2953365512 hasRelatedWork W2015333075 @default.
- W2953365512 hasRelatedWork W2099665351 @default.
- W2953365512 hasRelatedWork W2121728898 @default.
- W2953365512 hasRelatedWork W2158583479 @default.
- W2953365512 hasRelatedWork W2168210015 @default.
- W2953365512 hasRelatedWork W2354354754 @default.
- W2953365512 hasRelatedWork W2766076007 @default.
- W2953365512 hasRelatedWork W3199824772 @default.
- W2953365512 isParatext "false" @default.
- W2953365512 isRetracted "false" @default.
- W2953365512 magId "2953365512" @default.
- W2953365512 workType "article" @default.