Matches in SemOpenAlex for { <https://semopenalex.org/work/W1540960243> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1540960243 abstract "A class of predicates is identified for which termination does not depend on left-to-right execution. The only assumption about the selection rule is that derivations are input-consuming, that is, in each derivation step, the input arguments of the selected atom do not become instantiated. This assumption is a natural abstraction of previous work on programs with delay declarations. The method for showing that a predicate is in that class is based on level mappings, closely following the traditional approach for LD-derivations. Programs are assumed to be well and nicely moded, which are two widely used concepts for verification. Many predicates terminate under such weak assumptions. Knowing these predicates is useful even for programs where not all predicates have this property." @default.
- W1540960243 created "2016-06-24" @default.
- W1540960243 creator A5047935878 @default.
- W1540960243 date "1999-01-01" @default.
- W1540960243 modified "2023-09-28" @default.
- W1540960243 title "Proving Termination of Input-Consuming Logic Programs" @default.
- W1540960243 doi "https://doi.org/10.7551/mitpress/4304.003.0031" @default.
- W1540960243 hasPublicationYear "1999" @default.
- W1540960243 type Work @default.
- W1540960243 sameAs 1540960243 @default.
- W1540960243 citedByCount "7" @default.
- W1540960243 crossrefType "book-chapter" @default.
- W1540960243 hasAuthorship W1540960243A5047935878 @default.
- W1540960243 hasBestOaLocation W15409602432 @default.
- W1540960243 hasConcept C102993220 @default.
- W1540960243 hasConcept C110251889 @default.
- W1540960243 hasConcept C111472728 @default.
- W1540960243 hasConcept C124304363 @default.
- W1540960243 hasConcept C128838566 @default.
- W1540960243 hasConcept C138885662 @default.
- W1540960243 hasConcept C140146324 @default.
- W1540960243 hasConcept C154945302 @default.
- W1540960243 hasConcept C189950617 @default.
- W1540960243 hasConcept C19689857 @default.
- W1540960243 hasConcept C199360897 @default.
- W1540960243 hasConcept C2777212361 @default.
- W1540960243 hasConcept C2779907942 @default.
- W1540960243 hasConcept C2987117450 @default.
- W1540960243 hasConcept C41008148 @default.
- W1540960243 hasConcept C80444323 @default.
- W1540960243 hasConcept C81917197 @default.
- W1540960243 hasConceptScore W1540960243C102993220 @default.
- W1540960243 hasConceptScore W1540960243C110251889 @default.
- W1540960243 hasConceptScore W1540960243C111472728 @default.
- W1540960243 hasConceptScore W1540960243C124304363 @default.
- W1540960243 hasConceptScore W1540960243C128838566 @default.
- W1540960243 hasConceptScore W1540960243C138885662 @default.
- W1540960243 hasConceptScore W1540960243C140146324 @default.
- W1540960243 hasConceptScore W1540960243C154945302 @default.
- W1540960243 hasConceptScore W1540960243C189950617 @default.
- W1540960243 hasConceptScore W1540960243C19689857 @default.
- W1540960243 hasConceptScore W1540960243C199360897 @default.
- W1540960243 hasConceptScore W1540960243C2777212361 @default.
- W1540960243 hasConceptScore W1540960243C2779907942 @default.
- W1540960243 hasConceptScore W1540960243C2987117450 @default.
- W1540960243 hasConceptScore W1540960243C41008148 @default.
- W1540960243 hasConceptScore W1540960243C80444323 @default.
- W1540960243 hasConceptScore W1540960243C81917197 @default.
- W1540960243 hasLocation W15409602431 @default.
- W1540960243 hasLocation W15409602432 @default.
- W1540960243 hasLocation W15409602433 @default.
- W1540960243 hasOpenAccess W1540960243 @default.
- W1540960243 hasPrimaryLocation W15409602431 @default.
- W1540960243 hasRelatedWork W1504949952 @default.
- W1540960243 hasRelatedWork W1522712062 @default.
- W1540960243 hasRelatedWork W1541434994 @default.
- W1540960243 hasRelatedWork W1578505496 @default.
- W1540960243 hasRelatedWork W1597918680 @default.
- W1540960243 hasRelatedWork W1605195718 @default.
- W1540960243 hasRelatedWork W1935637172 @default.
- W1540960243 hasRelatedWork W2009286786 @default.
- W1540960243 hasRelatedWork W2023578426 @default.
- W1540960243 hasRelatedWork W2055807110 @default.
- W1540960243 hasRelatedWork W2059709382 @default.
- W1540960243 hasRelatedWork W2111883026 @default.
- W1540960243 hasRelatedWork W2120869002 @default.
- W1540960243 hasRelatedWork W2134729504 @default.
- W1540960243 hasRelatedWork W2176075389 @default.
- W1540960243 hasRelatedWork W2612364214 @default.
- W1540960243 hasRelatedWork W2788577823 @default.
- W1540960243 hasRelatedWork W2914983426 @default.
- W1540960243 hasRelatedWork W60816665 @default.
- W1540960243 hasRelatedWork W1566363737 @default.
- W1540960243 isParatext "false" @default.
- W1540960243 isRetracted "false" @default.
- W1540960243 magId "1540960243" @default.
- W1540960243 workType "book-chapter" @default.