|
|
З973-018
Krivoi, S.
Static analysis of programs by using abstract interpretations [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: Тематичні рубрики:
Шифр журнала:
Кл.слова (ненормированные):
--
Анотація: В работе рассматривается алгебраический подход к проблеме статического анализа программ и, в частности, к проблеме поиска инвариантных соотношений с использованием метода абстрактных интерпретаций. Дается полная алгебраическая характеристика этого подхода. Алгоритмы иллюстрируются на примерах. !oprip481_H.pft: FILE NOT FOUND!
Видання зберігається у :
|
|