Generation of efficient interprocedural analyzers with PAG | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

поток данных

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

абстрактный

синтаксис

компилятор

построение

Стр.:

P.33-50

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

Bibliogr.: p.49

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

Серия:

Lecture Notes in Computer Science

Источник:

Static Analysis

Том:

983

Карточка:

Б2.35, Б3.22.

Alt M., Martin F..

Generation of efficient interprocedural analyzers with PAG-Berlin, Heidelberg.// Static Analysis, 1995.-Vol. 983.-P.33-50-(Lecture Notes in Computer Science).
Bibliogr.: p.49

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

PAP13 573