TY JOUR TI ИСПОЛЬЗОВАНИЕ АБСТРАКТНОГО ЦИФРОВОГО АВТОМАТА ДЛЯ ПОЛУЧЕНИЯ УНИВЕРСАЛЬНОГО ПРОМЕЖУТОЧНОГО ПРЕДСТАВЛЕНИЯ ИСХОДНОГО КОДА ПРОГРАММ KW статический анализ KW промежуточное представление KW абстрактный автомат KW конечный автомат KW программирование KW исходный код JO Вестник Астраханского государственного технического университета. Серия: Управление, вычислительная техника и информатика AU Зубов, М.. AU Пустыгин, А.. PY 2015 IS 2015 PB Астраханский государственный технический университет