Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
| Název česky | Interprocedural Analýza datového toku přes Hmotnost Domény s Infinite Sestupně Řetězy |
|---|---|
| Autoři | |
| Rok publikování | 2009 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of 12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'09), pages 440-455, volume 5504 of LNCS, Springer-Verlag, 2009. |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.doi.org/10.1007/978-3-642-00596-1_31 |
| Obor | Informatika |
| Klíčová slova | pushdown automata; semirings; verification |
| Popis | Studujeme zobecněné pevnou-bod rovnic nad idempotent semirings a poskytuje efektivní algoritmus pro zjišťování, zda posloupnost iterací Kleenes stabilizuje po konečný počet kroků. Dříve známé přístupy v úvahu pouze ohraničené semirings tam, kde nejsou žádné nekonečné sestupné řetězy. Hlavní novinkou naší práce je, že se zabýváme semirings omezenost bez omezení. Naše studie je motivováno několika aplikací z interprocedural analýzy toku dat. Ukážeme, jak může dosažitelnost problém pro vážené zásobníkové automaty být snížen na řešení rovnic v rámci výše uvedených a popíšeme několik aplikací prokázat jeho použitelnost. |
| Související projekty: |