On the completeness of a proof system for a simple data-parallel programming language | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1995

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

параллельный

программирование

семантика

язык программирования

Стр.:

P.143-154

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

Bibliogr.: p.154

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

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

Серия:

Lecture Notes in Computer Science

Источник:

EURO-PAR 95 Parallel Processing

Том:

966

Карточка:

Б2.24.

Bouge L., Cachera D..

On the completeness of a proof system for a simple data-parallel programming language-Berlin, Heidelberg.: Springer// EURO-PAR 95 Parallel Processing, 1995.-Vol. 966.-P.143-154-(Lecture Notes in Computer Science).
Bibliogr.: p.154

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

PAP13 292