Matches in SemOpenAlex for { <https://semopenalex.org/work/W179615994> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W179615994 endingPage "196" @default.
- W179615994 startingPage "182" @default.
- W179615994 abstract "The question of what constraints must hold for a predicate to behave as a (partial) function, is key to understanding the behaviour of a logic program. It has been shown how this question can be answered by combining backward analysis, a form of analysis that propagates determinacy requirements against the control flow, with a component for deriving so-called mutual exclusion conditions. The latter infers conditions sufficient to ensure that if one clause yields an answer then another cannot. This paper addresses the challenge of how to compute these conditions by showing that this problem can be reformulated as that of vertex enumeration. Whilst directly applicable in logic programming, the method might well also find application in reasoning about type classes." @default.
- W179615994 created "2016-06-24" @default.
- W179615994 creator A5063762504 @default.
- W179615994 creator A5079816317 @default.
- W179615994 date "2012-01-01" @default.
- W179615994 modified "2023-09-26" @default.
- W179615994 title "Mutual Exclusion by Interpolation" @default.
- W179615994 cites W1471753124 @default.
- W179615994 cites W1484554695 @default.
- W179615994 cites W1495922050 @default.
- W179615994 cites W1515795741 @default.
- W179615994 cites W1585305433 @default.
- W179615994 cites W1603836767 @default.
- W179615994 cites W1980047375 @default.
- W179615994 cites W2030996579 @default.
- W179615994 cites W2044632231 @default.
- W179615994 cites W2061246700 @default.
- W179615994 cites W2104715607 @default.
- W179615994 cites W2108174021 @default.
- W179615994 cites W2114633883 @default.
- W179615994 cites W2139230981 @default.
- W179615994 cites W2142629066 @default.
- W179615994 cites W2154173307 @default.
- W179615994 cites W2288450576 @default.
- W179615994 cites W4206570602 @default.
- W179615994 cites W4232597063 @default.
- W179615994 cites W4250828731 @default.
- W179615994 doi "https://doi.org/10.1007/978-3-642-29822-6_16" @default.
- W179615994 hasPublicationYear "2012" @default.
- W179615994 type Work @default.
- W179615994 sameAs 179615994 @default.
- W179615994 citedByCount "1" @default.
- W179615994 countsByYear W1796159942012 @default.
- W179615994 crossrefType "book-chapter" @default.
- W179615994 hasAuthorship W179615994A5063762504 @default.
- W179615994 hasAuthorship W179615994A5079816317 @default.
- W179615994 hasBestOaLocation W1796159942 @default.
- W179615994 hasConcept C104114177 @default.
- W179615994 hasConcept C137800194 @default.
- W179615994 hasConcept C154945302 @default.
- W179615994 hasConcept C33923547 @default.
- W179615994 hasConcept C41008148 @default.
- W179615994 hasConcept C56348326 @default.
- W179615994 hasConcept C80444323 @default.
- W179615994 hasConceptScore W179615994C104114177 @default.
- W179615994 hasConceptScore W179615994C137800194 @default.
- W179615994 hasConceptScore W179615994C154945302 @default.
- W179615994 hasConceptScore W179615994C33923547 @default.
- W179615994 hasConceptScore W179615994C41008148 @default.
- W179615994 hasConceptScore W179615994C56348326 @default.
- W179615994 hasConceptScore W179615994C80444323 @default.
- W179615994 hasLocation W1796159941 @default.
- W179615994 hasLocation W1796159942 @default.
- W179615994 hasLocation W1796159943 @default.
- W179615994 hasLocation W1796159944 @default.
- W179615994 hasOpenAccess W179615994 @default.
- W179615994 hasPrimaryLocation W1796159941 @default.
- W179615994 hasRelatedWork W117875910 @default.
- W179615994 hasRelatedWork W1507204039 @default.
- W179615994 hasRelatedWork W1554212698 @default.
- W179615994 hasRelatedWork W2016837818 @default.
- W179615994 hasRelatedWork W2145484932 @default.
- W179615994 hasRelatedWork W2161295375 @default.
- W179615994 hasRelatedWork W2354354754 @default.
- W179615994 hasRelatedWork W2383239512 @default.
- W179615994 hasRelatedWork W4236405411 @default.
- W179615994 hasRelatedWork W2477402442 @default.
- W179615994 isParatext "false" @default.
- W179615994 isRetracted "false" @default.
- W179615994 magId "179615994" @default.
- W179615994 workType "book-chapter" @default.