Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122917953> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2122917953 abstract "We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in terms of the inputs to that procedure. This has applications in bounding resources consumed by a program such as time, memory, network-traffic, power, as well as estimating quantitative properties (as opposed to boolean properties) of data in programs, such as information leakage or uncertainty propagation. Our approach to solving the reachability-bound problem brings together two different techniques for reasoning about loops in an effective manner. One of these techniques is an abstract-interpretation based iterative technique for computing precise disjunctive invariants (to summarize nested loops). The other technique is a non-iterative proof-rules based technique (for loop bound computation) that takes over the role of doing inductive reasoning, while deriving its power from the use of SMT solvers to reason about abstract loop-free fragments." @default.
- W2122917953 created "2016-06-24" @default.
- W2122917953 creator A5011543162 @default.
- W2122917953 creator A5063337176 @default.
- W2122917953 date "2010-06-05" @default.
- W2122917953 modified "2023-10-17" @default.
- W2122917953 title "The reachability-bound problem" @default.
- W2122917953 cites W1492171827 @default.
- W2122917953 cites W1541144457 @default.
- W2122917953 cites W1563352283 @default.
- W2122917953 cites W2043100293 @default.
- W2122917953 cites W2066550846 @default.
- W2122917953 cites W2076285066 @default.
- W2122917953 cites W2107588378 @default.
- W2122917953 cites W2109863363 @default.
- W2122917953 cites W2112969535 @default.
- W2122917953 cites W2129883154 @default.
- W2122917953 cites W2131275552 @default.
- W2122917953 cites W2132661148 @default.
- W2122917953 cites W2139401046 @default.
- W2122917953 cites W2142481893 @default.
- W2122917953 cites W2159756689 @default.
- W2122917953 cites W2294635730 @default.
- W2122917953 cites W2911436048 @default.
- W2122917953 cites W4232668957 @default.
- W2122917953 cites W4238789074 @default.
- W2122917953 cites W4241086578 @default.
- W2122917953 doi "https://doi.org/10.1145/1806596.1806630" @default.
- W2122917953 hasPublicationYear "2010" @default.
- W2122917953 type Work @default.
- W2122917953 sameAs 2122917953 @default.
- W2122917953 citedByCount "93" @default.
- W2122917953 countsByYear W21229179532012 @default.
- W2122917953 countsByYear W21229179532013 @default.
- W2122917953 countsByYear W21229179532014 @default.
- W2122917953 countsByYear W21229179532015 @default.
- W2122917953 countsByYear W21229179532016 @default.
- W2122917953 countsByYear W21229179532017 @default.
- W2122917953 countsByYear W21229179532018 @default.
- W2122917953 countsByYear W21229179532019 @default.
- W2122917953 countsByYear W21229179532021 @default.
- W2122917953 countsByYear W21229179532022 @default.
- W2122917953 countsByYear W21229179532023 @default.
- W2122917953 crossrefType "proceedings-article" @default.
- W2122917953 hasAuthorship W2122917953A5011543162 @default.
- W2122917953 hasAuthorship W2122917953A5063337176 @default.
- W2122917953 hasConcept C11413529 @default.
- W2122917953 hasConcept C1306188 @default.
- W2122917953 hasConcept C134306372 @default.
- W2122917953 hasConcept C136643341 @default.
- W2122917953 hasConcept C154945302 @default.
- W2122917953 hasConcept C159694833 @default.
- W2122917953 hasConcept C173608175 @default.
- W2122917953 hasConcept C200415742 @default.
- W2122917953 hasConcept C2777669093 @default.
- W2122917953 hasConcept C33923547 @default.
- W2122917953 hasConcept C41008148 @default.
- W2122917953 hasConcept C45374587 @default.
- W2122917953 hasConcept C63584917 @default.
- W2122917953 hasConcept C7342684 @default.
- W2122917953 hasConcept C77553402 @default.
- W2122917953 hasConcept C80444323 @default.
- W2122917953 hasConceptScore W2122917953C11413529 @default.
- W2122917953 hasConceptScore W2122917953C1306188 @default.
- W2122917953 hasConceptScore W2122917953C134306372 @default.
- W2122917953 hasConceptScore W2122917953C136643341 @default.
- W2122917953 hasConceptScore W2122917953C154945302 @default.
- W2122917953 hasConceptScore W2122917953C159694833 @default.
- W2122917953 hasConceptScore W2122917953C173608175 @default.
- W2122917953 hasConceptScore W2122917953C200415742 @default.
- W2122917953 hasConceptScore W2122917953C2777669093 @default.
- W2122917953 hasConceptScore W2122917953C33923547 @default.
- W2122917953 hasConceptScore W2122917953C41008148 @default.
- W2122917953 hasConceptScore W2122917953C45374587 @default.
- W2122917953 hasConceptScore W2122917953C63584917 @default.
- W2122917953 hasConceptScore W2122917953C7342684 @default.
- W2122917953 hasConceptScore W2122917953C77553402 @default.
- W2122917953 hasConceptScore W2122917953C80444323 @default.
- W2122917953 hasLocation W21229179531 @default.
- W2122917953 hasOpenAccess W2122917953 @default.
- W2122917953 hasPrimaryLocation W21229179531 @default.
- W2122917953 hasRelatedWork W1902601809 @default.
- W2122917953 hasRelatedWork W2011432313 @default.
- W2122917953 hasRelatedWork W2047831585 @default.
- W2122917953 hasRelatedWork W3104249734 @default.
- W2122917953 hasRelatedWork W3203066795 @default.
- W2122917953 hasRelatedWork W4221101132 @default.
- W2122917953 hasRelatedWork W4253760428 @default.
- W2122917953 hasRelatedWork W92641534 @default.
- W2122917953 hasRelatedWork W93329440 @default.
- W2122917953 hasRelatedWork W1507914724 @default.
- W2122917953 isParatext "false" @default.
- W2122917953 isRetracted "false" @default.
- W2122917953 magId "2122917953" @default.
- W2122917953 workType "article" @default.