Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531108889> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1531108889 abstract "We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at least one solution or not terminate). The technique is based on an intuitively very simple notion, that of a (set of) tests the type of a set of variables. We show that the problem of determining a covering is undecidable in general, and give decidability and complexity results for the Herbrand and linear arithmetic constraint systems. We give sound algorithms for determining covering that are precise and efiicient in practice. Based on this information, we show how to identify goals and procedures that can be guaranteed to not fail at runtime. Applications of such non-failure information include programming error detection, program transiormations and parallel execution optimization, avoiding speculative parallelism and estimating lower bounds on the computational costs of goals, which can be used for granularity control. Finally, we report on an implementation of our method and show that better results are obtained than with previously proposed approaches." @default.
- W1531108889 created "2016-06-24" @default.
- W1531108889 creator A5010583949 @default.
- W1531108889 creator A5030520172 @default.
- W1531108889 creator A5073531919 @default.
- W1531108889 date "1997-01-01" @default.
- W1531108889 modified "2023-10-16" @default.
- W1531108889 title "Non-Failure Analysis for Logic Programs" @default.
- W1531108889 doi "https://doi.org/10.7551/mitpress/4299.003.0010" @default.
- W1531108889 hasPublicationYear "1997" @default.
- W1531108889 type Work @default.
- W1531108889 sameAs 1531108889 @default.
- W1531108889 citedByCount "22" @default.
- W1531108889 countsByYear W15311088892013 @default.
- W1531108889 crossrefType "book-chapter" @default.
- W1531108889 hasAuthorship W1531108889A5010583949 @default.
- W1531108889 hasAuthorship W1531108889A5030520172 @default.
- W1531108889 hasAuthorship W1531108889A5073531919 @default.
- W1531108889 hasBestOaLocation W15311088892 @default.
- W1531108889 hasConcept C111472728 @default.
- W1531108889 hasConcept C11413529 @default.
- W1531108889 hasConcept C128838566 @default.
- W1531108889 hasConcept C138885662 @default.
- W1531108889 hasConcept C153269930 @default.
- W1531108889 hasConcept C177264268 @default.
- W1531108889 hasConcept C177774035 @default.
- W1531108889 hasConcept C192034797 @default.
- W1531108889 hasConcept C199360897 @default.
- W1531108889 hasConcept C2524010 @default.
- W1531108889 hasConcept C2776036281 @default.
- W1531108889 hasConcept C2780586882 @default.
- W1531108889 hasConcept C33923547 @default.
- W1531108889 hasConcept C41008148 @default.
- W1531108889 hasConcept C80444323 @default.
- W1531108889 hasConceptScore W1531108889C111472728 @default.
- W1531108889 hasConceptScore W1531108889C11413529 @default.
- W1531108889 hasConceptScore W1531108889C128838566 @default.
- W1531108889 hasConceptScore W1531108889C138885662 @default.
- W1531108889 hasConceptScore W1531108889C153269930 @default.
- W1531108889 hasConceptScore W1531108889C177264268 @default.
- W1531108889 hasConceptScore W1531108889C177774035 @default.
- W1531108889 hasConceptScore W1531108889C192034797 @default.
- W1531108889 hasConceptScore W1531108889C199360897 @default.
- W1531108889 hasConceptScore W1531108889C2524010 @default.
- W1531108889 hasConceptScore W1531108889C2776036281 @default.
- W1531108889 hasConceptScore W1531108889C2780586882 @default.
- W1531108889 hasConceptScore W1531108889C33923547 @default.
- W1531108889 hasConceptScore W1531108889C41008148 @default.
- W1531108889 hasConceptScore W1531108889C80444323 @default.
- W1531108889 hasLocation W15311088891 @default.
- W1531108889 hasLocation W15311088892 @default.
- W1531108889 hasOpenAccess W1531108889 @default.
- W1531108889 hasPrimaryLocation W15311088891 @default.
- W1531108889 hasRelatedWork W1485320411 @default.
- W1531108889 hasRelatedWork W1491271723 @default.
- W1531108889 hasRelatedWork W1507626698 @default.
- W1531108889 hasRelatedWork W1530717542 @default.
- W1531108889 hasRelatedWork W1533556407 @default.
- W1531108889 hasRelatedWork W1541434994 @default.
- W1531108889 hasRelatedWork W1584053602 @default.
- W1531108889 hasRelatedWork W1585085979 @default.
- W1531108889 hasRelatedWork W159226319 @default.
- W1531108889 hasRelatedWork W1597918680 @default.
- W1531108889 hasRelatedWork W1617855441 @default.
- W1531108889 hasRelatedWork W1965377774 @default.
- W1531108889 hasRelatedWork W1975943297 @default.
- W1531108889 hasRelatedWork W1999281702 @default.
- W1531108889 hasRelatedWork W2012069736 @default.
- W1531108889 hasRelatedWork W2023578426 @default.
- W1531108889 hasRelatedWork W2043100293 @default.
- W1531108889 hasRelatedWork W2065590295 @default.
- W1531108889 hasRelatedWork W2157542044 @default.
- W1531108889 hasRelatedWork W2163660741 @default.
- W1531108889 isParatext "false" @default.
- W1531108889 isRetracted "false" @default.
- W1531108889 magId "1531108889" @default.
- W1531108889 workType "book-chapter" @default.