2016
Tighter Loop Bound Analysis
ČADEK, Pavel, Jan STREJČEK a Marek TRTÍKZákladní údaje
Originální název
Tighter Loop Bound Analysis
Autoři
ČADEK, Pavel (203 Česká republika), Jan STREJČEK (203 Česká republika, garant, domácí) a Marek TRTÍK (203 Česká republika)
Vydání
Berlin, Heidelberg, Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, od s. 512-527, 16 s. 2016
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Impakt faktor
Impact factor: 0.402 v roce 2005
Kód RIV
RIV/00216224:14330/16:00088246
Organizační jednotka
Fakulta informatiky
ISBN
978-3-319-46519-7
ISSN
UT WoS
000389808100032
Klíčová slova anglicky
loop bounds; symbolic execution
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 13. 5. 2020 19:27, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as functions of program input values. The algorithm is primarily designed to produce bounds that are relatively tight, i.e. not unnecessarily blown up. The upper bounds for instructions allow us to infer loop bounds, i.e. upper bounds on the number of loop iterations. Experimental results show that the algorithm implemented in a prototype tool Looperman often produces tighter bounds than current tools for loop bound analysis.
Návaznosti
| GBP202/12/G061, projekt VaV |
|