A Symbolic Constraint Solving Framework for Analysis of Logic Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ramakrishnan C. R.

Ramakrishnan I. V.

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

1

Вид:

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

Год:

1995

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

логический

программа

Стр.:

P.12-23.

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

Bibliogr.: p.20-21

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

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

Источник:

Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation

Карточка:

Б3.21.

Ramakrishnan C. R., Ramakrishnan I. V., Sekar R. C..

A Symbolic Constraint Solving Framework for Analysis of Logic Programs-New York.: ACM Press// Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation, 1995.-P.12-23.
Bibliogr.: p.20-21

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

ACM5 200