Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Hermenegildo M. V.

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

1

Вид:

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

Год:

1999

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

программа

глобальный

верификация

распараллеливание

оптимизация

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

Стр.:

P.52-66

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

Bibliogr.: p.65-66

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

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

Источник:

Logic Programming

Карточка:

Б3.22, Б3.54.

Hermenegildo M. V., Bueno F., Puebla G., Lopez P..

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor-London, Cambridge.: The MIT Press// Logic Programming, 1999.-P.52-66
Bibliogr.: p.65-66

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

PAP22 684