Matches in SemOpenAlex for { <https://semopenalex.org/work/W2246647445> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2246647445 abstract "The question of whether logic programs with function symbols terminate in a top-down (Prolog-like) execution is considered. Automated termination analysis is an essential tool for generating a suitable control in modern deductive database systems, such as LDL and NAIL!We describe a method of identifying a nonnegative linear combination of bound argument sizes, which (if found) strictly decreases in a top-down execution of logic programs. Testing a termination condition is transformed to a feasibility problem of linear inequalities using duality theory of linear programming. For nontrivial termination proofs, we often need to know the relationship among argument sizes of a predicate. We formalize the relationship by a fixpoint of recursive mimicking immediate consequence operator. Since the transformation sometimes fails to finitely converge, we provide some practical techniques to resolve this problem. We also need to indicate which arguments are bound to ground terms during goal reduction. A method for deriving such binding information is described in the framework of abstract interpretation. Positive propositional formula are used to represent groundness dependency among arguments of a predicate.This methodology can handle nonlinear recursion, mutual recursion, and cases in which no specific argument is certain to decrease. Several programs that could not be shown to terminate by earlier published methods are handled successfully." @default.
- W2246647445 created "2016-06-24" @default.
- W2246647445 creator A5022597529 @default.
- W2246647445 date "1993-01-11" @default.
- W2246647445 modified "2023-09-23" @default.
- W2246647445 title "Automated termination analysis for logic programs" @default.
- W2246647445 hasPublicationYear "1993" @default.
- W2246647445 type Work @default.
- W2246647445 sameAs 2246647445 @default.
- W2246647445 citedByCount "3" @default.
- W2246647445 countsByYear W22466474452016 @default.
- W2246647445 crossrefType "journal-article" @default.
- W2246647445 hasAuthorship W2246647445A5022597529 @default.
- W2246647445 hasConcept C102993220 @default.
- W2246647445 hasConcept C108710211 @default.
- W2246647445 hasConcept C110039528 @default.
- W2246647445 hasConcept C11413529 @default.
- W2246647445 hasConcept C124416688 @default.
- W2246647445 hasConcept C128838566 @default.
- W2246647445 hasConcept C140146324 @default.
- W2246647445 hasConcept C168773036 @default.
- W2246647445 hasConcept C178421362 @default.
- W2246647445 hasConcept C185592680 @default.
- W2246647445 hasConcept C193702766 @default.
- W2246647445 hasConcept C19689857 @default.
- W2246647445 hasConcept C199360897 @default.
- W2246647445 hasConcept C203659156 @default.
- W2246647445 hasConcept C2039508 @default.
- W2246647445 hasConcept C2524010 @default.
- W2246647445 hasConcept C2780654840 @default.
- W2246647445 hasConcept C28077239 @default.
- W2246647445 hasConcept C33923547 @default.
- W2246647445 hasConcept C3845977 @default.
- W2246647445 hasConcept C41008148 @default.
- W2246647445 hasConcept C55493867 @default.
- W2246647445 hasConcept C73314972 @default.
- W2246647445 hasConcept C80444323 @default.
- W2246647445 hasConcept C81721847 @default.
- W2246647445 hasConcept C98184364 @default.
- W2246647445 hasConceptScore W2246647445C102993220 @default.
- W2246647445 hasConceptScore W2246647445C108710211 @default.
- W2246647445 hasConceptScore W2246647445C110039528 @default.
- W2246647445 hasConceptScore W2246647445C11413529 @default.
- W2246647445 hasConceptScore W2246647445C124416688 @default.
- W2246647445 hasConceptScore W2246647445C128838566 @default.
- W2246647445 hasConceptScore W2246647445C140146324 @default.
- W2246647445 hasConceptScore W2246647445C168773036 @default.
- W2246647445 hasConceptScore W2246647445C178421362 @default.
- W2246647445 hasConceptScore W2246647445C185592680 @default.
- W2246647445 hasConceptScore W2246647445C193702766 @default.
- W2246647445 hasConceptScore W2246647445C19689857 @default.
- W2246647445 hasConceptScore W2246647445C199360897 @default.
- W2246647445 hasConceptScore W2246647445C203659156 @default.
- W2246647445 hasConceptScore W2246647445C2039508 @default.
- W2246647445 hasConceptScore W2246647445C2524010 @default.
- W2246647445 hasConceptScore W2246647445C2780654840 @default.
- W2246647445 hasConceptScore W2246647445C28077239 @default.
- W2246647445 hasConceptScore W2246647445C33923547 @default.
- W2246647445 hasConceptScore W2246647445C3845977 @default.
- W2246647445 hasConceptScore W2246647445C41008148 @default.
- W2246647445 hasConceptScore W2246647445C55493867 @default.
- W2246647445 hasConceptScore W2246647445C73314972 @default.
- W2246647445 hasConceptScore W2246647445C80444323 @default.
- W2246647445 hasConceptScore W2246647445C81721847 @default.
- W2246647445 hasConceptScore W2246647445C98184364 @default.
- W2246647445 hasLocation W22466474451 @default.
- W2246647445 hasOpenAccess W2246647445 @default.
- W2246647445 hasPrimaryLocation W22466474451 @default.
- W2246647445 hasRelatedWork W1493407222 @default.
- W2246647445 hasRelatedWork W1641207083 @default.
- W2246647445 hasRelatedWork W2014764321 @default.
- W2246647445 hasRelatedWork W2020077247 @default.
- W2246647445 hasRelatedWork W2352585215 @default.
- W2246647445 hasRelatedWork W2417163 @default.
- W2246647445 hasRelatedWork W2588353698 @default.
- W2246647445 hasRelatedWork W2611340807 @default.
- W2246647445 hasRelatedWork W2726449882 @default.
- W2246647445 hasRelatedWork W2806964120 @default.
- W2246647445 hasRelatedWork W2885708795 @default.
- W2246647445 hasRelatedWork W2951366773 @default.
- W2246647445 hasRelatedWork W2951737181 @default.
- W2246647445 hasRelatedWork W2951880362 @default.
- W2246647445 hasRelatedWork W2964092958 @default.
- W2246647445 hasRelatedWork W3037285866 @default.
- W2246647445 hasRelatedWork W3040828936 @default.
- W2246647445 hasRelatedWork W3099486949 @default.
- W2246647445 hasRelatedWork W3157498506 @default.
- W2246647445 hasRelatedWork W3177831581 @default.
- W2246647445 isParatext "false" @default.
- W2246647445 isRetracted "false" @default.
- W2246647445 magId "2246647445" @default.
- W2246647445 workType "article" @default.