Использование механизма абстрактной интерпретации при анализе программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Белостоцкий А. Н.

Петровский С. Ю.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

1991

Ключевые слова:

программа

абстрактный

интерпретация

спецификация

Стр.:

С.121-122.

Источник:

Смешанные вычисления и преобразование программ

Карточка:

Б3.21.

Белостоцкий А. Н., Петровский С. Ю..

Использование механизма абстрактной интерпретации при анализе программ// Смешанные вычисления и преобразование программ-1991.-С.121-122.

Таблица в старой библиотеке:

PAP3 424