Abstract Interpretation by Dynamic Partitioning | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1992

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

абстрактный

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

функциональный

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

разбиение

Стр.:

30 p.

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

Номер:

18

Карточка:

Б2.35.

Bourdoncle F..

Abstract Interpretation by Dynamic Partitioning-Paris., 1992.-30 p.-(Препринт Digital №18).

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

PREP1 674