Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136358674> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3136358674 endingPage "304" @default.
- W3136358674 startingPage "292" @default.
- W3136358674 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. Our solution to the reachability-bound problem allows us to compute precise symbolic complexity bounds for several loops in .Net base-class libraries for which earlier techniques fail. We also illustrate the precision of our algorithm for disjunctive invariant computation (which has a more general applicability beyond the reachability-bound problem) on a set of benchmark examples." @default.
- W3136358674 created "2021-03-29" @default.
- W3136358674 creator A5023763541 @default.
- W3136358674 creator A5082543635 @default.
- W3136358674 date "2010-06-05" @default.
- W3136358674 modified "2023-10-18" @default.
- W3136358674 title "The reachability-bound problem" @default.
- W3136358674 cites W1492171827 @default.
- W3136358674 cites W1541144457 @default.
- W3136358674 cites W1563352283 @default.
- W3136358674 cites W2043100293 @default.
- W3136358674 cites W2066550846 @default.
- W3136358674 cites W2076285066 @default.
- W3136358674 cites W2107588378 @default.
- W3136358674 cites W2109863363 @default.
- W3136358674 cites W2112969535 @default.
- W3136358674 cites W2129883154 @default.
- W3136358674 cites W2131275552 @default.
- W3136358674 cites W2132661148 @default.
- W3136358674 cites W2139401046 @default.
- W3136358674 cites W2142481893 @default.
- W3136358674 cites W2159756689 @default.
- W3136358674 cites W2294635730 @default.
- W3136358674 cites W2911436048 @default.
- W3136358674 cites W4232668957 @default.
- W3136358674 cites W4238789074 @default.
- W3136358674 cites W4241086578 @default.
- W3136358674 doi "https://doi.org/10.1145/1809028.1806630" @default.
- W3136358674 hasPublicationYear "2010" @default.
- W3136358674 type Work @default.
- W3136358674 sameAs 3136358674 @default.
- W3136358674 citedByCount "20" @default.
- W3136358674 countsByYear W31363586742012 @default.
- W3136358674 countsByYear W31363586742013 @default.
- W3136358674 countsByYear W31363586742014 @default.
- W3136358674 countsByYear W31363586742015 @default.
- W3136358674 countsByYear W31363586742018 @default.
- W3136358674 countsByYear W31363586742019 @default.
- W3136358674 countsByYear W31363586742020 @default.
- W3136358674 countsByYear W31363586742021 @default.
- W3136358674 crossrefType "journal-article" @default.
- W3136358674 hasAuthorship W3136358674A5023763541 @default.
- W3136358674 hasAuthorship W3136358674A5082543635 @default.
- W3136358674 hasConcept C11413529 @default.
- W3136358674 hasConcept C13280743 @default.
- W3136358674 hasConcept C134306372 @default.
- W3136358674 hasConcept C136643341 @default.
- W3136358674 hasConcept C154945302 @default.
- W3136358674 hasConcept C185798385 @default.
- W3136358674 hasConcept C205649164 @default.
- W3136358674 hasConcept C2777669093 @default.
- W3136358674 hasConcept C33923547 @default.
- W3136358674 hasConcept C41008148 @default.
- W3136358674 hasConcept C45374587 @default.
- W3136358674 hasConcept C63584917 @default.
- W3136358674 hasConcept C77553402 @default.
- W3136358674 hasConcept C80444323 @default.
- W3136358674 hasConceptScore W3136358674C11413529 @default.
- W3136358674 hasConceptScore W3136358674C13280743 @default.
- W3136358674 hasConceptScore W3136358674C134306372 @default.
- W3136358674 hasConceptScore W3136358674C136643341 @default.
- W3136358674 hasConceptScore W3136358674C154945302 @default.
- W3136358674 hasConceptScore W3136358674C185798385 @default.
- W3136358674 hasConceptScore W3136358674C205649164 @default.
- W3136358674 hasConceptScore W3136358674C2777669093 @default.
- W3136358674 hasConceptScore W3136358674C33923547 @default.
- W3136358674 hasConceptScore W3136358674C41008148 @default.
- W3136358674 hasConceptScore W3136358674C45374587 @default.
- W3136358674 hasConceptScore W3136358674C63584917 @default.
- W3136358674 hasConceptScore W3136358674C77553402 @default.
- W3136358674 hasConceptScore W3136358674C80444323 @default.
- W3136358674 hasIssue "6" @default.
- W3136358674 hasLocation W31363586741 @default.
- W3136358674 hasOpenAccess W3136358674 @default.
- W3136358674 hasPrimaryLocation W31363586741 @default.
- W3136358674 hasRelatedWork W1902601809 @default.
- W3136358674 hasRelatedWork W1980576599 @default.
- W3136358674 hasRelatedWork W2047831585 @default.
- W3136358674 hasRelatedWork W2122917953 @default.
- W3136358674 hasRelatedWork W3104249734 @default.
- W3136358674 hasRelatedWork W3203066795 @default.
- W3136358674 hasRelatedWork W4221101132 @default.
- W3136358674 hasRelatedWork W4253760428 @default.
- W3136358674 hasRelatedWork W92641534 @default.
- W3136358674 hasRelatedWork W93329440 @default.
- W3136358674 hasVolume "45" @default.
- W3136358674 isParatext "false" @default.
- W3136358674 isRetracted "false" @default.
- W3136358674 magId "3136358674" @default.
- W3136358674 workType "article" @default.