Вы здесь
Program Synthesis in the SPORA system
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1985
Ключевые слова:
Стр.:
С.63-71.
Реферат:
Синтез программы в системе СПОРА осу ествляется по спецификации задачи на языке "Декарт". Центральным понятием "Декарта" является понятие отношения. Отношение "Декарта" состоит из нескольких компонент, между которыми могут су ествовать оп деленные связи (зависимости), отношение может также иметь несколько вариантов, отличаю ихся как составом компонент, так и связями между ними.
Примечание:
Синтез программ в системе СПОРА.
Библиография:
Bibliogr.: p.71
Место издания:
Источник:
Карточка:
Б3.25.
Babaev I., Lavrov S., Neuman V..
Program Synthesis in the SPORA system-Таллин.// Информатика-85, 1985.-С.63-71.
Bibliogr.: p.71
Таблица в старой библиотеке:
PAP1 151