Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135905640> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2135905640 abstract "The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constraints. This approximation is needed for the abstract evaluation of the ask guards and directly influences the overall precision of the analysis. In this paper we provide a solution to this problem by stating reasonable correctness conditions relating the abstract and the concrete domains of computation. The solution is domain independent in the sense that it can be applied to the class of downward closed observables. Properties falling in this class have already been studied in the context of the analysis of sequential (constraint) logic programs. As an example, we consider an abstract domain designed for the analysis of freeness in CLP programs and we show how it can be usefully applied in the CC context to discover undesired data dependencies between concurrent processes." @default.
- W2135905640 created "2016-06-24" @default.
- W2135905640 creator A5065794938 @default.
- W2135905640 date "1995-01-01" @default.
- W2135905640 modified "2023-09-24" @default.
- W2135905640 title "Domain independent ask approximation in CCP" @default.
- W2135905640 cites W1832894047 @default.
- W2135905640 cites W2014764321 @default.
- W2135905640 cites W2043100293 @default.
- W2135905640 cites W2116733130 @default.
- W2135905640 cites W2164297069 @default.
- W2135905640 cites W3161689978 @default.
- W2135905640 cites W4210575917 @default.
- W2135905640 cites W1855062594 @default.
- W2135905640 doi "https://doi.org/10.1007/3-540-60299-2_22" @default.
- W2135905640 hasPublicationYear "1995" @default.
- W2135905640 type Work @default.
- W2135905640 sameAs 2135905640 @default.
- W2135905640 citedByCount "3" @default.
- W2135905640 crossrefType "book-chapter" @default.
- W2135905640 hasAuthorship W2135905640A5065794938 @default.
- W2135905640 hasBestOaLocation W21359056402 @default.
- W2135905640 hasConcept C11413529 @default.
- W2135905640 hasConcept C121332964 @default.
- W2135905640 hasConcept C124101348 @default.
- W2135905640 hasConcept C134306372 @default.
- W2135905640 hasConcept C134752490 @default.
- W2135905640 hasConcept C136264566 @default.
- W2135905640 hasConcept C151730666 @default.
- W2135905640 hasConcept C154945302 @default.
- W2135905640 hasConcept C162324750 @default.
- W2135905640 hasConcept C2524010 @default.
- W2135905640 hasConcept C25343380 @default.
- W2135905640 hasConcept C2776036281 @default.
- W2135905640 hasConcept C2777212361 @default.
- W2135905640 hasConcept C2779343474 @default.
- W2135905640 hasConcept C2780654840 @default.
- W2135905640 hasConcept C32848918 @default.
- W2135905640 hasConcept C33923547 @default.
- W2135905640 hasConcept C36503486 @default.
- W2135905640 hasConcept C41008148 @default.
- W2135905640 hasConcept C45374587 @default.
- W2135905640 hasConcept C55439883 @default.
- W2135905640 hasConcept C62520636 @default.
- W2135905640 hasConcept C80444323 @default.
- W2135905640 hasConcept C86803240 @default.
- W2135905640 hasConcept C90329073 @default.
- W2135905640 hasConceptScore W2135905640C11413529 @default.
- W2135905640 hasConceptScore W2135905640C121332964 @default.
- W2135905640 hasConceptScore W2135905640C124101348 @default.
- W2135905640 hasConceptScore W2135905640C134306372 @default.
- W2135905640 hasConceptScore W2135905640C134752490 @default.
- W2135905640 hasConceptScore W2135905640C136264566 @default.
- W2135905640 hasConceptScore W2135905640C151730666 @default.
- W2135905640 hasConceptScore W2135905640C154945302 @default.
- W2135905640 hasConceptScore W2135905640C162324750 @default.
- W2135905640 hasConceptScore W2135905640C2524010 @default.
- W2135905640 hasConceptScore W2135905640C25343380 @default.
- W2135905640 hasConceptScore W2135905640C2776036281 @default.
- W2135905640 hasConceptScore W2135905640C2777212361 @default.
- W2135905640 hasConceptScore W2135905640C2779343474 @default.
- W2135905640 hasConceptScore W2135905640C2780654840 @default.
- W2135905640 hasConceptScore W2135905640C32848918 @default.
- W2135905640 hasConceptScore W2135905640C33923547 @default.
- W2135905640 hasConceptScore W2135905640C36503486 @default.
- W2135905640 hasConceptScore W2135905640C41008148 @default.
- W2135905640 hasConceptScore W2135905640C45374587 @default.
- W2135905640 hasConceptScore W2135905640C55439883 @default.
- W2135905640 hasConceptScore W2135905640C62520636 @default.
- W2135905640 hasConceptScore W2135905640C80444323 @default.
- W2135905640 hasConceptScore W2135905640C86803240 @default.
- W2135905640 hasConceptScore W2135905640C90329073 @default.
- W2135905640 hasLocation W21359056401 @default.
- W2135905640 hasLocation W21359056402 @default.
- W2135905640 hasOpenAccess W2135905640 @default.
- W2135905640 hasPrimaryLocation W21359056401 @default.
- W2135905640 hasRelatedWork W1481043689 @default.
- W2135905640 hasRelatedWork W1581559774 @default.
- W2135905640 hasRelatedWork W1846507946 @default.
- W2135905640 hasRelatedWork W1863636468 @default.
- W2135905640 hasRelatedWork W1989058323 @default.
- W2135905640 hasRelatedWork W1994179113 @default.
- W2135905640 hasRelatedWork W2023055783 @default.
- W2135905640 hasRelatedWork W2045750726 @default.
- W2135905640 hasRelatedWork W2116733130 @default.
- W2135905640 hasRelatedWork W2135520900 @default.
- W2135905640 hasRelatedWork W2152644201 @default.
- W2135905640 hasRelatedWork W2164297069 @default.
- W2135905640 hasRelatedWork W2244978453 @default.
- W2135905640 hasRelatedWork W2404192081 @default.
- W2135905640 hasRelatedWork W2406205129 @default.
- W2135905640 hasRelatedWork W2566245743 @default.
- W2135905640 hasRelatedWork W2971122962 @default.
- W2135905640 hasRelatedWork W2976136300 @default.
- W2135905640 hasRelatedWork W3103318063 @default.
- W2135905640 hasRelatedWork W74317754 @default.
- W2135905640 isParatext "false" @default.
- W2135905640 isRetracted "false" @default.
- W2135905640 magId "2135905640" @default.
- W2135905640 workType "book-chapter" @default.