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

Вы здесь

Автор:

Емельянов П. Г.

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

1

Вид:

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

Год:

1998

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

абстрактный

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

семантика

дискретный

динамический

Стр.:

С.7-47.

Библиография:

Библиогр.: c.42-47

Место издания:

Новосибирск

Издательство:

СП "Наука" РАН

Источник:

Системная информатика. Вып.6

Карточка:

Б2.24, Б3.23.

Емельянов П. Г..

Абстрактная интерпретация императивных программ-Новосибирск.: СП "Наука" РАН// Системная информатика. Вып.6, 1998.-С.7-47.
Библиогр.: c.42-47

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

ISI2 215