Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100830552> ?p ?o ?g. }
- W3100830552 endingPage "50" @default.
- W3100830552 startingPage "1" @default.
- W3100830552 abstract "We present a technique to infer lower bounds on the worst-case runtime complexity of integer programs, where in contrast to earlier work, our approach is not restricted to tail-recursion. Our technique constructs symbolic representations of program executions using a framework for iterative, under-approximating program simplification. The core of this simplification is a method for (under-approximating) program acceleration based on recurrence solving and a variation of ranking functions. Afterwards, we deduce asymptotic lower bounds from the resulting simplified programs using a special-purpose calculus and an SMT encoding. We implemented our technique in our tool LoAT and show that it infers non-trivial lower bounds for a large class of examples." @default.
- W3100830552 created "2020-11-23" @default.
- W3100830552 creator A5025232172 @default.
- W3100830552 creator A5040207663 @default.
- W3100830552 creator A5080601428 @default.
- W3100830552 creator A5087390223 @default.
- W3100830552 date "2020-09-30" @default.
- W3100830552 modified "2023-10-02" @default.
- W3100830552 title "Inferring Lower Runtime Bounds for Integer Programs" @default.
- W3100830552 cites W110849379 @default.
- W3100830552 cites W1480909796 @default.
- W3100830552 cites W1484509862 @default.
- W3100830552 cites W1523037784 @default.
- W3100830552 cites W1530375435 @default.
- W3100830552 cites W1540580590 @default.
- W3100830552 cites W157536195 @default.
- W3100830552 cites W1580450019 @default.
- W3100830552 cites W1597089442 @default.
- W3100830552 cites W1913470731 @default.
- W3100830552 cites W1977456312 @default.
- W3100830552 cites W1983764301 @default.
- W3100830552 cites W1992296379 @default.
- W3100830552 cites W2017112612 @default.
- W3100830552 cites W2023299380 @default.
- W3100830552 cites W2028145934 @default.
- W3100830552 cites W2073629816 @default.
- W3100830552 cites W2094712524 @default.
- W3100830552 cites W2111366004 @default.
- W3100830552 cites W2113791307 @default.
- W3100830552 cites W2398327122 @default.
- W3100830552 cites W2461846980 @default.
- W3100830552 cites W2471272254 @default.
- W3100830552 cites W2556144668 @default.
- W3100830552 cites W2561310305 @default.
- W3100830552 cites W2577171054 @default.
- W3100830552 cites W2735409225 @default.
- W3100830552 cites W2739906175 @default.
- W3100830552 cites W2792248360 @default.
- W3100830552 cites W2908549554 @default.
- W3100830552 cites W2910234115 @default.
- W3100830552 cites W2911894214 @default.
- W3100830552 cites W2935588095 @default.
- W3100830552 cites W2950483238 @default.
- W3100830552 cites W2957046311 @default.
- W3100830552 cites W2969916489 @default.
- W3100830552 cites W2985800447 @default.
- W3100830552 cites W3014740296 @default.
- W3100830552 cites W3100830552 @default.
- W3100830552 cites W3104564121 @default.
- W3100830552 cites W3119451573 @default.
- W3100830552 doi "https://doi.org/10.1145/3410331" @default.
- W3100830552 hasPublicationYear "2020" @default.
- W3100830552 type Work @default.
- W3100830552 sameAs 3100830552 @default.
- W3100830552 citedByCount "9" @default.
- W3100830552 countsByYear W31008305522020 @default.
- W3100830552 countsByYear W31008305522021 @default.
- W3100830552 countsByYear W31008305522022 @default.
- W3100830552 crossrefType "journal-article" @default.
- W3100830552 hasAuthorship W3100830552A5025232172 @default.
- W3100830552 hasAuthorship W3100830552A5040207663 @default.
- W3100830552 hasAuthorship W3100830552A5080601428 @default.
- W3100830552 hasAuthorship W3100830552A5087390223 @default.
- W3100830552 hasBestOaLocation W31008305521 @default.
- W3100830552 hasConcept C11413529 @default.
- W3100830552 hasConcept C119857082 @default.
- W3100830552 hasConcept C134306372 @default.
- W3100830552 hasConcept C154945302 @default.
- W3100830552 hasConcept C168773036 @default.
- W3100830552 hasConcept C189430467 @default.
- W3100830552 hasConcept C199360897 @default.
- W3100830552 hasConcept C2776502983 @default.
- W3100830552 hasConcept C2777212361 @default.
- W3100830552 hasConcept C2777904410 @default.
- W3100830552 hasConcept C2779639559 @default.
- W3100830552 hasConcept C33923547 @default.
- W3100830552 hasConcept C41008148 @default.
- W3100830552 hasConcept C77553402 @default.
- W3100830552 hasConcept C80444323 @default.
- W3100830552 hasConcept C97137487 @default.
- W3100830552 hasConceptScore W3100830552C11413529 @default.
- W3100830552 hasConceptScore W3100830552C119857082 @default.
- W3100830552 hasConceptScore W3100830552C134306372 @default.
- W3100830552 hasConceptScore W3100830552C154945302 @default.
- W3100830552 hasConceptScore W3100830552C168773036 @default.
- W3100830552 hasConceptScore W3100830552C189430467 @default.
- W3100830552 hasConceptScore W3100830552C199360897 @default.
- W3100830552 hasConceptScore W3100830552C2776502983 @default.
- W3100830552 hasConceptScore W3100830552C2777212361 @default.
- W3100830552 hasConceptScore W3100830552C2777904410 @default.
- W3100830552 hasConceptScore W3100830552C2779639559 @default.
- W3100830552 hasConceptScore W3100830552C33923547 @default.
- W3100830552 hasConceptScore W3100830552C41008148 @default.
- W3100830552 hasConceptScore W3100830552C77553402 @default.
- W3100830552 hasConceptScore W3100830552C80444323 @default.
- W3100830552 hasConceptScore W3100830552C97137487 @default.
- W3100830552 hasIssue "3" @default.
- W3100830552 hasLocation W31008305521 @default.