Matches in SemOpenAlex for { <https://semopenalex.org/work/W190795798> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W190795798 abstract "In this paper, we present an approach to non-termination inference of logic programs. Our framework relies on an extension of the Theorem, where some specific argument po- sitions can be instantiated while others are generalized. Atomic left looping queries are then generated bottom-up from selected subsets of the binary unfoldings of the program of interest. Then non-termination inference is tailored to attempt proofs of optimality of left termination conditions computed by a termination inference tool. For each class of atomic queries not cov- ered by a termination condition, the aim is to ensure the existence of one query from this class which leads to an infinite search tree. When termination and non-termination analysis produce complementary results for a logic pro- cedure, they induce a characterization of the operational behavior of the logic procedure with respect to the left most selection rule and the language used to describe sets of atomic queries. RESUME. Dans cet article, nous presentons une technique d'inference de conditions de non- termination de programmes logiques. Notre travail repose sur une extension du Lifting Theo- rem, ou des positions d'argument specifiques peuvent etre instanciees alors que les autres sont generalisees. Des requetes atomiques qui bouclent a gauche sont alors generees de facon as- cendante a partir de sous-ensembles des depliages binaires du programme traite. L'inference de non-terminaison est alors utilisee pour tester l'optimalite de conditions de termi- naison gauche generees par un outil d'inference de terminaison. Pour chaque classe de requetes atomiques non couverte par une condition de terminaison, nous tentons d'assurer l'existence d'une requete de cette classe qui mene a un arbre de recherche infini. Quand les analyses de terminaison et de non-terminaison produisent des resultats complemen- taires pour une procedure logique, on obtient une caracterisation du comportement operationnel de la procedure par rapport a la regle de selelection gauche et au langage utilise pour decrire les ensembles de requetes atomiques." @default.
- W190795798 created "2016-06-24" @default.
- W190795798 creator A5002144715 @default.
- W190795798 creator A5063276563 @default.
- W190795798 creator A5069027426 @default.
- W190795798 date "2002-05-27" @default.
- W190795798 modified "2023-09-26" @default.
- W190795798 title "Non-Termination Inference for Optimal Ter-mination Conditions of Logic Programs" @default.
- W190795798 cites W1524883003 @default.
- W190795798 cites W1584357601 @default.
- W190795798 cites W1584601513 @default.
- W190795798 cites W1595402260 @default.
- W190795798 cites W1597918680 @default.
- W190795798 cites W1834328158 @default.
- W190795798 cites W1899458625 @default.
- W190795798 cites W1981314990 @default.
- W190795798 cites W1991589943 @default.
- W190795798 cites W1996679397 @default.
- W190795798 cites W1998131498 @default.
- W190795798 cites W2009944560 @default.
- W190795798 cites W2085832943 @default.
- W190795798 cites W2091237534 @default.
- W190795798 cites W2143382644 @default.
- W190795798 cites W2147335415 @default.
- W190795798 cites W2984537393 @default.
- W190795798 hasPublicationYear "2002" @default.
- W190795798 type Work @default.
- W190795798 sameAs 190795798 @default.
- W190795798 citedByCount "0" @default.
- W190795798 crossrefType "proceedings-article" @default.
- W190795798 hasAuthorship W190795798A5002144715 @default.
- W190795798 hasAuthorship W190795798A5063276563 @default.
- W190795798 hasAuthorship W190795798A5069027426 @default.
- W190795798 hasBestOaLocation W1907957981 @default.
- W190795798 hasConcept C154945302 @default.
- W190795798 hasConcept C2776214188 @default.
- W190795798 hasConcept C41008148 @default.
- W190795798 hasConceptScore W190795798C154945302 @default.
- W190795798 hasConceptScore W190795798C2776214188 @default.
- W190795798 hasConceptScore W190795798C41008148 @default.
- W190795798 hasLocation W1907957981 @default.
- W190795798 hasLocation W1907957982 @default.
- W190795798 hasOpenAccess W190795798 @default.
- W190795798 hasPrimaryLocation W1907957981 @default.
- W190795798 hasRelatedWork W1596801655 @default.
- W190795798 hasRelatedWork W2130043461 @default.
- W190795798 hasRelatedWork W2350741829 @default.
- W190795798 hasRelatedWork W2358668433 @default.
- W190795798 hasRelatedWork W2376932109 @default.
- W190795798 hasRelatedWork W2382290278 @default.
- W190795798 hasRelatedWork W2390279801 @default.
- W190795798 hasRelatedWork W2748952813 @default.
- W190795798 hasRelatedWork W2899084033 @default.
- W190795798 hasRelatedWork W2530322880 @default.
- W190795798 isParatext "false" @default.
- W190795798 isRetracted "false" @default.
- W190795798 magId "190795798" @default.
- W190795798 workType "article" @default.