ČADEK, Pavel, Jan STREJČEK a Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer. s. 512-527. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_32. 2016.
Další formáty:   BibTeX LaTeX RIS
Zá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
Originální 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 0302-9743
Doi http://dx.doi.org/10.1007/978-3-319-46520-3_32
UT WoS 000389808100032
Klíčová slova anglicky loop bounds; symbolic execution
Štítky core_A, firank_A, formela-conference
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:27.
Anotace
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 VaVNázev: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)
Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky
VytisknoutZobrazeno: 28. 3. 2024 17:52