Matches in SemOpenAlex for { <https://semopenalex.org/work/W1496131527> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1496131527 endingPage "329" @default.
- W1496131527 startingPage "312" @default.
- W1496131527 abstract "This paper investigates bottom-up logic programming as a formalism for expressing static analyses. The main technical contribution consists of two meta-complexity theorems which allow, in many cases, the asymptotic running time of a bottom-up logic program to be determined by inspection. It is well known that a datalog program runs in O(n k) time where k is the largest number of free variables in any single rule. The theorems given here are significantly more refined. A variety of algorithms given as bottom-up logic programs are analyzed as examples." @default.
- W1496131527 created "2016-06-24" @default.
- W1496131527 creator A5033089246 @default.
- W1496131527 date "1999-01-01" @default.
- W1496131527 modified "2023-10-18" @default.
- W1496131527 title "On the Complexity Analysis of Static Analyses" @default.
- W1496131527 cites W1963954367 @default.
- W1496131527 cites W1973745704 @default.
- W1496131527 cites W1986334602 @default.
- W1496131527 cites W1989058323 @default.
- W1496131527 cites W2001744589 @default.
- W1496131527 cites W2011992362 @default.
- W1496131527 cites W2014387690 @default.
- W1496131527 cites W2040019628 @default.
- W1496131527 cites W2058824372 @default.
- W1496131527 cites W2065088439 @default.
- W1496131527 cites W2102389857 @default.
- W1496131527 cites W2132461225 @default.
- W1496131527 cites W4213039069 @default.
- W1496131527 doi "https://doi.org/10.1007/3-540-48294-6_21" @default.
- W1496131527 hasPublicationYear "1999" @default.
- W1496131527 type Work @default.
- W1496131527 sameAs 1496131527 @default.
- W1496131527 citedByCount "37" @default.
- W1496131527 countsByYear W14961315272012 @default.
- W1496131527 countsByYear W14961315272018 @default.
- W1496131527 crossrefType "book-chapter" @default.
- W1496131527 hasAuthorship W1496131527A5033089246 @default.
- W1496131527 hasConcept C11413529 @default.
- W1496131527 hasConcept C128838566 @default.
- W1496131527 hasConcept C136197465 @default.
- W1496131527 hasConcept C142362112 @default.
- W1496131527 hasConcept C148230440 @default.
- W1496131527 hasConcept C153349607 @default.
- W1496131527 hasConcept C154945302 @default.
- W1496131527 hasConcept C189790780 @default.
- W1496131527 hasConcept C199360897 @default.
- W1496131527 hasConcept C2987117450 @default.
- W1496131527 hasConcept C41008148 @default.
- W1496131527 hasConcept C558565934 @default.
- W1496131527 hasConcept C73301696 @default.
- W1496131527 hasConcept C80444323 @default.
- W1496131527 hasConcept C98183937 @default.
- W1496131527 hasConceptScore W1496131527C11413529 @default.
- W1496131527 hasConceptScore W1496131527C128838566 @default.
- W1496131527 hasConceptScore W1496131527C136197465 @default.
- W1496131527 hasConceptScore W1496131527C142362112 @default.
- W1496131527 hasConceptScore W1496131527C148230440 @default.
- W1496131527 hasConceptScore W1496131527C153349607 @default.
- W1496131527 hasConceptScore W1496131527C154945302 @default.
- W1496131527 hasConceptScore W1496131527C189790780 @default.
- W1496131527 hasConceptScore W1496131527C199360897 @default.
- W1496131527 hasConceptScore W1496131527C2987117450 @default.
- W1496131527 hasConceptScore W1496131527C41008148 @default.
- W1496131527 hasConceptScore W1496131527C558565934 @default.
- W1496131527 hasConceptScore W1496131527C73301696 @default.
- W1496131527 hasConceptScore W1496131527C80444323 @default.
- W1496131527 hasConceptScore W1496131527C98183937 @default.
- W1496131527 hasLocation W14961315271 @default.
- W1496131527 hasOpenAccess W1496131527 @default.
- W1496131527 hasPrimaryLocation W14961315271 @default.
- W1496131527 hasRelatedWork W1496131527 @default.
- W1496131527 hasRelatedWork W1826104749 @default.
- W1496131527 hasRelatedWork W1965338409 @default.
- W1496131527 hasRelatedWork W2019695296 @default.
- W1496131527 hasRelatedWork W2076891835 @default.
- W1496131527 hasRelatedWork W2902695556 @default.
- W1496131527 hasRelatedWork W40570767 @default.
- W1496131527 hasRelatedWork W4255062902 @default.
- W1496131527 hasRelatedWork W2474462291 @default.
- W1496131527 hasRelatedWork W3014088202 @default.
- W1496131527 isParatext "false" @default.
- W1496131527 isRetracted "false" @default.
- W1496131527 magId "1496131527" @default.
- W1496131527 workType "book-chapter" @default.