Matches in SemOpenAlex for { <https://semopenalex.org/work/W2071142966> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2071142966 abstract "Concurrent Constraint Programming (ccp) is a well-established declarative framework from concurrency theory. Its foundations and principles e.g., semantics, proof systems, axiomatizations, have been thoroughly studied for over the last two decades. In contrast, the development of algorithms and automatic verification procedures for ccp have hitherto been far too little considered. To the best of our knowledge there is only one existing verification algorithm for the standard notion of ccp program (observational) equivalence. In this paper we first show that this verification algorithm has an exponential-time complexity even for programs from a representative sub-language of ccp; the summation-free fragment (ccp+). We then significantly improve on the complexity of this algorithm by providing two alternative polynomial-time decision procedures for ccp+ program equivalence. Each of these two procedures has an advantage over the other. One has a better time complexity. The other can be easily adapted for the full language of ccp to produce significant state space reductions. The relevance of both procedures derives from the importance of ccp+. This fragment, which has been the subject of many theoretical studies, has strong ties to first-order logic and an elegant denotational semantics, and it can be used to model real-world situations. Its most distinctive feature is that of confluence, a property we exploit to obtain our polynomial procedures." @default.
- W2071142966 created "2016-06-24" @default.
- W2071142966 creator A5069477085 @default.
- W2071142966 creator A5069817349 @default.
- W2071142966 creator A5004609161 @default.
- W2071142966 date "2013-09-16" @default.
- W2071142966 modified "2023-09-25" @default.
- W2071142966 title "Efficient computation of program equivalence for confluent concurrent constraint programming" @default.
- W2071142966 cites W1556261722 @default.
- W2071142966 cites W1769384601 @default.
- W2071142966 cites W2033431741 @default.
- W2071142966 cites W2041090148 @default.
- W2071142966 cites W2068361557 @default.
- W2071142966 cites W2072538510 @default.
- W2071142966 cites W2094220291 @default.
- W2071142966 cites W2105430692 @default.
- W2071142966 cites W2124325155 @default.
- W2071142966 cites W2137865376 @default.
- W2071142966 cites W2143029909 @default.
- W2071142966 cites W2143082793 @default.
- W2071142966 cites W2154003318 @default.
- W2071142966 cites W2156155209 @default.
- W2071142966 cites W2163319710 @default.
- W2071142966 cites W2164297069 @default.
- W2071142966 cites W4232027917 @default.
- W2071142966 doi "https://doi.org/10.1145/2505879.2505902" @default.
- W2071142966 hasPublicationYear "2013" @default.
- W2071142966 type Work @default.
- W2071142966 sameAs 2071142966 @default.
- W2071142966 citedByCount "2" @default.
- W2071142966 countsByYear W20711429662014 @default.
- W2071142966 countsByYear W20711429662015 @default.
- W2071142966 crossrefType "proceedings-article" @default.
- W2071142966 hasAuthorship W2071142966A5004609161 @default.
- W2071142966 hasAuthorship W2071142966A5069477085 @default.
- W2071142966 hasAuthorship W2071142966A5069817349 @default.
- W2071142966 hasConcept C118615104 @default.
- W2071142966 hasConcept C126255220 @default.
- W2071142966 hasConcept C137631369 @default.
- W2071142966 hasConcept C150495011 @default.
- W2071142966 hasConcept C173404611 @default.
- W2071142966 hasConcept C173608175 @default.
- W2071142966 hasConcept C199360897 @default.
- W2071142966 hasConcept C204306468 @default.
- W2071142966 hasConcept C2524010 @default.
- W2071142966 hasConcept C2776036281 @default.
- W2071142966 hasConcept C2780069185 @default.
- W2071142966 hasConcept C33923547 @default.
- W2071142966 hasConcept C34165917 @default.
- W2071142966 hasConcept C41008148 @default.
- W2071142966 hasConcept C45374587 @default.
- W2071142966 hasConcept C50033165 @default.
- W2071142966 hasConcept C80444323 @default.
- W2071142966 hasConcept C96315309 @default.
- W2071142966 hasConceptScore W2071142966C118615104 @default.
- W2071142966 hasConceptScore W2071142966C126255220 @default.
- W2071142966 hasConceptScore W2071142966C137631369 @default.
- W2071142966 hasConceptScore W2071142966C150495011 @default.
- W2071142966 hasConceptScore W2071142966C173404611 @default.
- W2071142966 hasConceptScore W2071142966C173608175 @default.
- W2071142966 hasConceptScore W2071142966C199360897 @default.
- W2071142966 hasConceptScore W2071142966C204306468 @default.
- W2071142966 hasConceptScore W2071142966C2524010 @default.
- W2071142966 hasConceptScore W2071142966C2776036281 @default.
- W2071142966 hasConceptScore W2071142966C2780069185 @default.
- W2071142966 hasConceptScore W2071142966C33923547 @default.
- W2071142966 hasConceptScore W2071142966C34165917 @default.
- W2071142966 hasConceptScore W2071142966C41008148 @default.
- W2071142966 hasConceptScore W2071142966C45374587 @default.
- W2071142966 hasConceptScore W2071142966C50033165 @default.
- W2071142966 hasConceptScore W2071142966C80444323 @default.
- W2071142966 hasConceptScore W2071142966C96315309 @default.
- W2071142966 hasFunder F4320320883 @default.
- W2071142966 hasLocation W20711429661 @default.
- W2071142966 hasLocation W20711429662 @default.
- W2071142966 hasLocation W20711429663 @default.
- W2071142966 hasOpenAccess W2071142966 @default.
- W2071142966 hasPrimaryLocation W20711429661 @default.
- W2071142966 hasRelatedWork W1038119274 @default.
- W2071142966 hasRelatedWork W1553825282 @default.
- W2071142966 hasRelatedWork W1580914068 @default.
- W2071142966 hasRelatedWork W1614309564 @default.
- W2071142966 hasRelatedWork W2002120191 @default.
- W2071142966 hasRelatedWork W2045398665 @default.
- W2071142966 hasRelatedWork W2071142966 @default.
- W2071142966 hasRelatedWork W2376476202 @default.
- W2071142966 hasRelatedWork W2951038595 @default.
- W2071142966 hasRelatedWork W3000431583 @default.
- W2071142966 isParatext "false" @default.
- W2071142966 isRetracted "false" @default.
- W2071142966 magId "2071142966" @default.
- W2071142966 workType "article" @default.