Matches in SemOpenAlex for { <https://semopenalex.org/work/W1603377515> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1603377515 endingPage "192" @default.
- W1603377515 startingPage "177" @default.
- W1603377515 abstract "This paper presents the first approximation method of the finite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs with ongoing behaviors (perpetual processes). Our technical contributions are (1) the semantical characterization of finite failure of logic programs over infinite trees and (2) the design and soundness proof of the first set-based analysis of logic programs with the greatest-model semantics. Finally, we exhibit the connection between finite failure and the inevitability of the ‘inconsistentstore’ error in fair executions of concurrent constraint programs where no process suspends forever. This indicates a potential application to error diagnosis for concurrent constraint programs" @default.
- W1603377515 created "2016-06-24" @default.
- W1603377515 creator A5014068361 @default.
- W1603377515 creator A5062411838 @default.
- W1603377515 creator A5068443996 @default.
- W1603377515 date "1999-01-01" @default.
- W1603377515 modified "2023-09-25" @default.
- W1603377515 title "Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs" @default.
- W1603377515 cites W1492471923 @default.
- W1603377515 cites W1503857897 @default.
- W1603377515 cites W1526826791 @default.
- W1603377515 cites W1531074043 @default.
- W1603377515 cites W1532312848 @default.
- W1603377515 cites W1532529131 @default.
- W1603377515 cites W1593983061 @default.
- W1603377515 cites W1602567617 @default.
- W1603377515 cites W1766332311 @default.
- W1603377515 cites W18176683 @default.
- W1603377515 cites W1977541831 @default.
- W1603377515 cites W2049641148 @default.
- W1603377515 cites W2052075892 @default.
- W1603377515 cites W2063727779 @default.
- W1603377515 cites W2066098138 @default.
- W1603377515 cites W2076696436 @default.
- W1603377515 cites W2088126145 @default.
- W1603377515 cites W2091154692 @default.
- W1603377515 cites W2103933902 @default.
- W1603377515 cites W2116733130 @default.
- W1603377515 cites W2164297069 @default.
- W1603377515 cites W2165069483 @default.
- W1603377515 cites W2171449317 @default.
- W1603377515 cites W4206370914 @default.
- W1603377515 cites W167696951 @default.
- W1603377515 doi "https://doi.org/10.1007/3-540-49099-x_12" @default.
- W1603377515 hasPublicationYear "1999" @default.
- W1603377515 type Work @default.
- W1603377515 sameAs 1603377515 @default.
- W1603377515 citedByCount "6" @default.
- W1603377515 crossrefType "book-chapter" @default.
- W1603377515 hasAuthorship W1603377515A5014068361 @default.
- W1603377515 hasAuthorship W1603377515A5062411838 @default.
- W1603377515 hasAuthorship W1603377515A5068443996 @default.
- W1603377515 hasBestOaLocation W16033775151 @default.
- W1603377515 hasConcept C11413529 @default.
- W1603377515 hasConcept C144024400 @default.
- W1603377515 hasConcept C154945302 @default.
- W1603377515 hasConcept C176783269 @default.
- W1603377515 hasConcept C177264268 @default.
- W1603377515 hasConcept C184337299 @default.
- W1603377515 hasConcept C199360897 @default.
- W1603377515 hasConcept C204306468 @default.
- W1603377515 hasConcept C2524010 @default.
- W1603377515 hasConcept C2775940519 @default.
- W1603377515 hasConcept C2776036281 @default.
- W1603377515 hasConcept C33923547 @default.
- W1603377515 hasConcept C36289849 @default.
- W1603377515 hasConcept C39920170 @default.
- W1603377515 hasConcept C41008148 @default.
- W1603377515 hasConcept C44616089 @default.
- W1603377515 hasConcept C49937458 @default.
- W1603377515 hasConcept C80444323 @default.
- W1603377515 hasConcept C98183937 @default.
- W1603377515 hasConceptScore W1603377515C11413529 @default.
- W1603377515 hasConceptScore W1603377515C144024400 @default.
- W1603377515 hasConceptScore W1603377515C154945302 @default.
- W1603377515 hasConceptScore W1603377515C176783269 @default.
- W1603377515 hasConceptScore W1603377515C177264268 @default.
- W1603377515 hasConceptScore W1603377515C184337299 @default.
- W1603377515 hasConceptScore W1603377515C199360897 @default.
- W1603377515 hasConceptScore W1603377515C204306468 @default.
- W1603377515 hasConceptScore W1603377515C2524010 @default.
- W1603377515 hasConceptScore W1603377515C2775940519 @default.
- W1603377515 hasConceptScore W1603377515C2776036281 @default.
- W1603377515 hasConceptScore W1603377515C33923547 @default.
- W1603377515 hasConceptScore W1603377515C36289849 @default.
- W1603377515 hasConceptScore W1603377515C39920170 @default.
- W1603377515 hasConceptScore W1603377515C41008148 @default.
- W1603377515 hasConceptScore W1603377515C44616089 @default.
- W1603377515 hasConceptScore W1603377515C49937458 @default.
- W1603377515 hasConceptScore W1603377515C80444323 @default.
- W1603377515 hasConceptScore W1603377515C98183937 @default.
- W1603377515 hasLocation W16033775151 @default.
- W1603377515 hasOpenAccess W1603377515 @default.
- W1603377515 hasPrimaryLocation W16033775151 @default.
- W1603377515 hasRelatedWork W102563513 @default.
- W1603377515 hasRelatedWork W1550950487 @default.
- W1603377515 hasRelatedWork W1580914068 @default.
- W1603377515 hasRelatedWork W1595296333 @default.
- W1603377515 hasRelatedWork W1603377515 @default.
- W1603377515 hasRelatedWork W1952868133 @default.
- W1603377515 hasRelatedWork W1967419422 @default.
- W1603377515 hasRelatedWork W2045398665 @default.
- W1603377515 hasRelatedWork W2116733130 @default.
- W1603377515 hasRelatedWork W2955613332 @default.
- W1603377515 isParatext "false" @default.
- W1603377515 isRetracted "false" @default.
- W1603377515 magId "1603377515" @default.
- W1603377515 workType "book-chapter" @default.