Abstract Interpretation-Based Static Analysis of Mobile Ambients | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2001

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

абстрактный

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

статический

семантика

Стр.:

P.412-430

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

Источник:

Lecture Notes in Computer Science

Том:

2126

Карточка:

Б2.43, Б2.24.

Feret J..

Abstract Interpretation-Based Static Analysis of Mobile Ambients: Springer// Lecture Notes in Computer Science-2001.-Vol. 2126.-P.412-430

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

PAP23 528