Automatic Discovery of Linear Restraints Among Variables of a Program | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1978

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

программа

переменная

абстрактный

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

Стр.:

P.84-96.

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

Bibliogr.: p.96.

Источник:

Proc. of Conf. Record of the Fifth Annual ACM Symp. on Principles of Programming Languages

Карточка:

Б2.23, Б2.35.

Cousot P., Halbwachs N..

Automatic Discovery of Linear Restraints Among Variables of a Program// Proc. of Conf. Record of the Fifth Annual ACM Symp. on Principles of Programming Languages-1978.-P.84-96.
Bibliogr.: p.96.

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

PAP8 214