Analysis of Imperative Programs through Analysis of Constraint Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Gallagher J. P.

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

1

Вид:

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

Год:

1998

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

смешанные вычисления

логическое программирование

ограничение

операционный

семантика

программа

Стр.:

P.246-261.

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

Bibliogr.: p.260-261

Источник:

Lecture Notes in Computer Science

Том:

1503

Карточка:

Б2.24, Б3.21.

Peralta J. C., Gallagher J. P., Saglam H..

Analysis of Imperative Programs through Analysis of Constraint Logic Programs// Lecture Notes in Computer Science-1998.-Vol. 1503.-P.246-261.
Bibliogr.: p.260-261

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

PAP18 574