Name
Abstract | ||
|---|---|---|
Loop leaping is the colloquial name given to a form of program analysis in which summaries are derived for nested loops starting from the innermost loop and proceeding in a bottom-up fashion considering one more loop at a time. Loop leaping contrasts with classical approaches to finding loop invariants that are iterative; loop leaping is compositional requiring each stratum in the nest of loops to be considered exactly once. The approach is attractive in predicate abstraction where disjunctive domains are increasingly used that present long ascending chains. This paper proposes a simple and an efficient approach for loop leaping for these domains based on viewing loops as closure operators. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1007/978-3-642-33125-1_16 | SAS |
Keywords | Field | DocType |
bottom-up fashion,efficient approach,closure operator,colloquial name,innermost loop,predicate abstraction,nested loop,disjunctive domain,loop invariants,classical approach | Loop fusion,Conditional loop,Computer science,Loop splitting,Loop fission,Do while loop,Algorithm,Loop inversion,Loop tiling,While loop | Conference |
Volume | ISSN | Citations |
7460 | 0302-9743 | 6 |
PageRank | References | Authors |
0.43 | 26 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sebastian Biallas | 1 | 48 | 5.77 |
| Jörg Brauer | 2 | 219 | 19.33 |
| Andy King | 3 | 6 | 0.43 |
| Stefan Kowalewski | 4 | 602 | 65.14 |