Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Interprocedural Analýza datového toku přes Hmotnost Domény s Infinite Sestupně Řetězy
Autoři	KUHNRICH Morten SCHWOON Stefan KIEFER Stefan SRBA Jiří
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	Fakulta informatiky
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:	Institut Teoretické Informatiky