Matches in SemOpenAlex for { <https://semopenalex.org/work/W2932840932> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2932840932 endingPage "97" @default.
- W2932840932 startingPage "80" @default.
- W2932840932 abstract "In 2008, Ben-Amram, Jones and Kristiansen showed that for a simple programming language—representing non-deterministic imperative programs with bounded loops, and arithmetics limited to addition and multiplication—it is possible to decide precisely whether a program has certain growth-rate properties, in particular whether a computed value, or the program’s running time, has a polynomial growth rate. A natural and intriguing problem was to improve the precision of the information obtained. This paper shows how to obtain asymptotically-tight multivariate polynomial bounds for this class of programs. This is a complete solution: whenever a polynomial bound exists it will be found." @default.
- W2932840932 created "2019-04-11" @default.
- W2932840932 creator A5013013246 @default.
- W2932840932 creator A5019616888 @default.
- W2932840932 date "2019-01-01" @default.
- W2932840932 modified "2023-09-30" @default.
- W2932840932 title "Tight Worst-Case Bounds for Polynomial Loop Programs" @default.
- W2932840932 cites W1523037784 @default.
- W2932840932 cites W1530375435 @default.
- W2932840932 cites W1548801608 @default.
- W2932840932 cites W1983764301 @default.
- W2932840932 cites W1991376038 @default.
- W2932840932 cites W2003141394 @default.
- W2932840932 cites W2003295303 @default.
- W2932840932 cites W2011665527 @default.
- W2932840932 cites W2048694918 @default.
- W2932840932 cites W2051600983 @default.
- W2932840932 cites W2058033966 @default.
- W2932840932 cites W2060213695 @default.
- W2932840932 cites W2062873592 @default.
- W2932840932 cites W2071713296 @default.
- W2932840932 cites W2072088733 @default.
- W2932840932 cites W2083350000 @default.
- W2932840932 cites W2094712524 @default.
- W2932840932 cites W2115581182 @default.
- W2932840932 cites W2218585456 @default.
- W2932840932 cites W2533836568 @default.
- W2932840932 cites W2577171054 @default.
- W2932840932 cites W2605065382 @default.
- W2932840932 cites W2914203140 @default.
- W2932840932 cites W2962765334 @default.
- W2932840932 cites W2963164018 @default.
- W2932840932 cites W3100037762 @default.
- W2932840932 cites W3105437476 @default.
- W2932840932 cites W80442178 @default.
- W2932840932 doi "https://doi.org/10.1007/978-3-030-17127-8_5" @default.
- W2932840932 hasPublicationYear "2019" @default.
- W2932840932 type Work @default.
- W2932840932 sameAs 2932840932 @default.
- W2932840932 citedByCount "7" @default.
- W2932840932 countsByYear W29328409322019 @default.
- W2932840932 countsByYear W29328409322020 @default.
- W2932840932 countsByYear W29328409322021 @default.
- W2932840932 countsByYear W29328409322023 @default.
- W2932840932 crossrefType "book-chapter" @default.
- W2932840932 hasAuthorship W2932840932A5013013246 @default.
- W2932840932 hasAuthorship W2932840932A5019616888 @default.
- W2932840932 hasBestOaLocation W29328409321 @default.
- W2932840932 hasConcept C111472728 @default.
- W2932840932 hasConcept C114614502 @default.
- W2932840932 hasConcept C118615104 @default.
- W2932840932 hasConcept C134306372 @default.
- W2932840932 hasConcept C138885662 @default.
- W2932840932 hasConcept C154945302 @default.
- W2932840932 hasConcept C184670325 @default.
- W2932840932 hasConcept C2777212361 @default.
- W2932840932 hasConcept C2780586882 @default.
- W2932840932 hasConcept C311688 @default.
- W2932840932 hasConcept C33923547 @default.
- W2932840932 hasConcept C34388435 @default.
- W2932840932 hasConcept C41008148 @default.
- W2932840932 hasConcept C90119067 @default.
- W2932840932 hasConceptScore W2932840932C111472728 @default.
- W2932840932 hasConceptScore W2932840932C114614502 @default.
- W2932840932 hasConceptScore W2932840932C118615104 @default.
- W2932840932 hasConceptScore W2932840932C134306372 @default.
- W2932840932 hasConceptScore W2932840932C138885662 @default.
- W2932840932 hasConceptScore W2932840932C154945302 @default.
- W2932840932 hasConceptScore W2932840932C184670325 @default.
- W2932840932 hasConceptScore W2932840932C2777212361 @default.
- W2932840932 hasConceptScore W2932840932C2780586882 @default.
- W2932840932 hasConceptScore W2932840932C311688 @default.
- W2932840932 hasConceptScore W2932840932C33923547 @default.
- W2932840932 hasConceptScore W2932840932C34388435 @default.
- W2932840932 hasConceptScore W2932840932C41008148 @default.
- W2932840932 hasConceptScore W2932840932C90119067 @default.
- W2932840932 hasLocation W29328409321 @default.
- W2932840932 hasLocation W29328409322 @default.
- W2932840932 hasLocation W29328409323 @default.
- W2932840932 hasOpenAccess W2932840932 @default.
- W2932840932 hasPrimaryLocation W29328409321 @default.
- W2932840932 hasRelatedWork W1594239811 @default.
- W2932840932 hasRelatedWork W1606810574 @default.
- W2932840932 hasRelatedWork W1887191277 @default.
- W2932840932 hasRelatedWork W1978343600 @default.
- W2932840932 hasRelatedWork W2049559029 @default.
- W2932840932 hasRelatedWork W2067366661 @default.
- W2932840932 hasRelatedWork W2100931500 @default.
- W2932840932 hasRelatedWork W2170520833 @default.
- W2932840932 hasRelatedWork W2334954212 @default.
- W2932840932 hasRelatedWork W2370465935 @default.
- W2932840932 isParatext "false" @default.
- W2932840932 isRetracted "false" @default.
- W2932840932 magId "2932840932" @default.
- W2932840932 workType "book-chapter" @default.