Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953307851> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2953307851 abstract "We present cTI, the first system for universal left-termination inference of logic programs. Termination inference generalizes termination analysis and checking. Traditionally, a termination analyzer tries to prove that a given class of queries terminates. This class must be provided to the system, for instance by means of user annotations. Moreover, the analysis must be redone every time the class of queries of interest is updated. Termination inference, in contrast, requires neither user annotations nor recomputation. In this approach, terminating classes for all predicates are inferred at once. We describe the architecture of cTI and report an extensive experimental evaluation of the system covering many classical examples from the logic programming termination literature and several Prolog programs of respectable size and complexity." @default.
- W2953307851 created "2019-06-27" @default.
- W2953307851 creator A5002144715 @default.
- W2953307851 creator A5057370941 @default.
- W2953307851 date "2003-09-16" @default.
- W2953307851 modified "2023-09-27" @default.
- W2953307851 title "cTI: A constraint-based termination inference tool for ISO-Prolog" @default.
- W2953307851 cites W1480610117 @default.
- W2953307851 cites W1487657751 @default.
- W2953307851 cites W1597918680 @default.
- W2953307851 cites W1627011610 @default.
- W2953307851 cites W2057821410 @default.
- W2953307851 cites W2152685301 @default.
- W2953307851 hasPublicationYear "2003" @default.
- W2953307851 type Work @default.
- W2953307851 sameAs 2953307851 @default.
- W2953307851 citedByCount "0" @default.
- W2953307851 crossrefType "posted-content" @default.
- W2953307851 hasAuthorship W2953307851A5002144715 @default.
- W2953307851 hasAuthorship W2953307851A5057370941 @default.
- W2953307851 hasConcept C105795698 @default.
- W2953307851 hasConcept C128838566 @default.
- W2953307851 hasConcept C137631369 @default.
- W2953307851 hasConcept C154945302 @default.
- W2953307851 hasConcept C173404611 @default.
- W2953307851 hasConcept C199360897 @default.
- W2953307851 hasConcept C2524010 @default.
- W2953307851 hasConcept C2776036281 @default.
- W2953307851 hasConcept C2776214188 @default.
- W2953307851 hasConcept C2777212361 @default.
- W2953307851 hasConcept C33923547 @default.
- W2953307851 hasConcept C3746660 @default.
- W2953307851 hasConcept C41008148 @default.
- W2953307851 hasConcept C80444323 @default.
- W2953307851 hasConcept C81721847 @default.
- W2953307851 hasConceptScore W2953307851C105795698 @default.
- W2953307851 hasConceptScore W2953307851C128838566 @default.
- W2953307851 hasConceptScore W2953307851C137631369 @default.
- W2953307851 hasConceptScore W2953307851C154945302 @default.
- W2953307851 hasConceptScore W2953307851C173404611 @default.
- W2953307851 hasConceptScore W2953307851C199360897 @default.
- W2953307851 hasConceptScore W2953307851C2524010 @default.
- W2953307851 hasConceptScore W2953307851C2776036281 @default.
- W2953307851 hasConceptScore W2953307851C2776214188 @default.
- W2953307851 hasConceptScore W2953307851C2777212361 @default.
- W2953307851 hasConceptScore W2953307851C33923547 @default.
- W2953307851 hasConceptScore W2953307851C3746660 @default.
- W2953307851 hasConceptScore W2953307851C41008148 @default.
- W2953307851 hasConceptScore W2953307851C80444323 @default.
- W2953307851 hasConceptScore W2953307851C81721847 @default.
- W2953307851 hasLocation W29533078511 @default.
- W2953307851 hasOpenAccess W2953307851 @default.
- W2953307851 hasPrimaryLocation W29533078511 @default.
- W2953307851 hasRelatedWork W14146387 @default.
- W2953307851 hasRelatedWork W15157627 @default.
- W2953307851 hasRelatedWork W1633340509 @default.
- W2953307851 hasRelatedWork W1675599478 @default.
- W2953307851 hasRelatedWork W1821679657 @default.
- W2953307851 hasRelatedWork W1835790624 @default.
- W2953307851 hasRelatedWork W1845749915 @default.
- W2953307851 hasRelatedWork W1941412300 @default.
- W2953307851 hasRelatedWork W1976674122 @default.
- W2953307851 hasRelatedWork W2034379330 @default.
- W2953307851 hasRelatedWork W2117362109 @default.
- W2953307851 hasRelatedWork W2136229204 @default.
- W2953307851 hasRelatedWork W2172570885 @default.
- W2953307851 hasRelatedWork W2546841291 @default.
- W2953307851 hasRelatedWork W2584052054 @default.
- W2953307851 hasRelatedWork W2914051670 @default.
- W2953307851 hasRelatedWork W2951416126 @default.
- W2953307851 hasRelatedWork W3162231075 @default.
- W2953307851 hasRelatedWork W34805863 @default.
- W2953307851 hasRelatedWork W35767954 @default.
- W2953307851 isParatext "false" @default.
- W2953307851 isRetracted "false" @default.
- W2953307851 magId "2953307851" @default.
- W2953307851 workType "article" @default.