Matches in SemOpenAlex for { <https://semopenalex.org/work/W1524883003> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1524883003 endingPage "110" @default.
- W1524883003 startingPage "93" @default.
- W1524883003 abstract "We present the implementation of cTI, a system for universal left-termination inference of logic programs.Termination inference generalizes termination analysis/checking. Traditionally, a termination analyzer tries to prove that a given class of queries terminates. This class must be provided to the system, requiringu ser annotations. With termination inference such annotations are no longer necessary. Instead, all provably terminatingclasses to all related predicates are inferred at once.The architecture of cTI is described1 and some optimizations are discussed. Runningti mes for classical examples from the termination literature in LP and for some middle-sized logic programs are given." @default.
- W1524883003 created "2016-06-24" @default.
- W1524883003 creator A5002144715 @default.
- W1524883003 creator A5069027426 @default.
- W1524883003 date "2001-01-01" @default.
- W1524883003 modified "2023-09-27" @default.
- W1524883003 title "Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs" @default.
- W1524883003 cites W1480610117 @default.
- W1524883003 cites W1551870799 @default.
- W1524883003 cites W1617855441 @default.
- W1524883003 cites W1875104636 @default.
- W1524883003 cites W1982243747 @default.
- W1524883003 cites W1989462119 @default.
- W1524883003 cites W1996679397 @default.
- W1524883003 cites W2009286786 @default.
- W1524883003 cites W2011889853 @default.
- W1524883003 cites W2015209525 @default.
- W1524883003 cites W2043100293 @default.
- W1524883003 cites W2054616907 @default.
- W1524883003 cites W2063727779 @default.
- W1524883003 cites W2081810835 @default.
- W1524883003 cites W2120869002 @default.
- W1524883003 cites W2123396057 @default.
- W1524883003 cites W2132661148 @default.
- W1524883003 cites W2491413729 @default.
- W1524883003 cites W4206370914 @default.
- W1524883003 doi "https://doi.org/10.1007/3-540-47764-0_6" @default.
- W1524883003 hasPublicationYear "2001" @default.
- W1524883003 type Work @default.
- W1524883003 sameAs 1524883003 @default.
- W1524883003 citedByCount "39" @default.
- W1524883003 countsByYear W15248830032013 @default.
- W1524883003 countsByYear W15248830032020 @default.
- W1524883003 countsByYear W15248830032021 @default.
- W1524883003 crossrefType "book-chapter" @default.
- W1524883003 hasAuthorship W1524883003A5002144715 @default.
- W1524883003 hasAuthorship W1524883003A5069027426 @default.
- W1524883003 hasConcept C11413529 @default.
- W1524883003 hasConcept C128838566 @default.
- W1524883003 hasConcept C199360897 @default.
- W1524883003 hasConcept C2987117450 @default.
- W1524883003 hasConcept C41008148 @default.
- W1524883003 hasConcept C97686452 @default.
- W1524883003 hasConceptScore W1524883003C11413529 @default.
- W1524883003 hasConceptScore W1524883003C128838566 @default.
- W1524883003 hasConceptScore W1524883003C199360897 @default.
- W1524883003 hasConceptScore W1524883003C2987117450 @default.
- W1524883003 hasConceptScore W1524883003C41008148 @default.
- W1524883003 hasConceptScore W1524883003C97686452 @default.
- W1524883003 hasLocation W15248830031 @default.
- W1524883003 hasOpenAccess W1524883003 @default.
- W1524883003 hasPrimaryLocation W15248830031 @default.
- W1524883003 hasRelatedWork W1493446239 @default.
- W1524883003 hasRelatedWork W1508161107 @default.
- W1524883003 hasRelatedWork W1542459781 @default.
- W1524883003 hasRelatedWork W1560148909 @default.
- W1524883003 hasRelatedWork W1608659702 @default.
- W1524883003 hasRelatedWork W2003151706 @default.
- W1524883003 hasRelatedWork W2097388634 @default.
- W1524883003 hasRelatedWork W2509105194 @default.
- W1524883003 hasRelatedWork W3121650164 @default.
- W1524883003 hasRelatedWork W50928870 @default.
- W1524883003 isParatext "false" @default.
- W1524883003 isRetracted "false" @default.
- W1524883003 magId "1524883003" @default.
- W1524883003 workType "book-chapter" @default.