Вы здесь
Semantic models for concurrent logic languages
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1991
Ключевые слова:
Стр.:
P.3-33.
Реферат:
Разработаны семантические модели для класса параллельных языков логического програмирования. Представлены две операционные семантики, основанные на системе перехода, декларативная семантика и денотационная семантика. Рассмотрены отношени между различными моделями.
Примечание:
Семантические модели для параллельных логических языков.
Библиография:
Bibliogr.: p.32-33
Источник:
Номер:
1
Том:
86
Карточка:
Б2.24, Б2.42.
Boer F., Rutten J., Kok N., Palamidessi C..
Semantic models for concurrent logic languages// Theoretical Computer Science-1991, №1.-Vol. 86.-P.3-33.
Bibliogr.: p.32-33
Таблица в старой библиотеке:
PAP2 649