Compositional Optimization of Disjunctive Abstract Interpretations

Вы здесь

Автор:

Giacobazzi R.

Ranzato F.

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

Вид:

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

Год:

1996

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

оптимизация

абстрактный

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

Стр.:

P.141-155.

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

Bibliogr.: p.154-155

Источник:

Lecture Notes in Computer Science

Том:

1058

Карточка:

Б3.21, Б3.22.

Giacobazzi R., Ranzato F..

Compositional Optimization of Disjunctive Abstract Interpretations// Lecture Notes in Computer Science-1996.-Vol. 1058.-P.141-155.
Bibliogr.: p.154-155

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

PAP14 813