Отрывок: В нашем примере ЯО < ц и к л > соответствует кортеж <"оператор", (инвариант, тело)>. Слот представим как кортеж <с, ft>, D, где с — класс допустимых в слоте ЯО, ft(O) — функция проверки, истинная тогда и только тогда, когда языковый объект О можно поместить в слот, D — упорядоченное множество ЯО, помещ енных в данны й слот. (Обозначая элемент е кортежа С, будем писать С.е.) Классы слотов и ЯО понимаю тся как классы в смысле ООП и составляю т одну иерархию. Д ля классов введ...
Название : | Среда программирования, структурированная в терминах языка |
Авторы/Редакторы : | Черясов, Д.Г. |
Ключевые слова : | нетекстовая среда программирования трансляция текстовый редактор исходная форма программы неделимые сущности языковый объект слот визуализация редактирование контроль корректности формы |
Дата публикации : | 1998 |
Издательство : | СГАУ |
Библиографическое описание : | Черясов, Д. Г. Среда программирования, структурированная в терминах языка / Д. Г. Черясов // Проблемы и перспективы развития двигателестроения / Самар. гос. аэрокосм. ун-т; [Гл. ред. Е. В. Шахматов]. – Самара : СГАУ, 1998. – Вып. 2, ч. 2. – С. 113-120. |
URI (Унифицированный идентификатор ресурса) : | http://repo.ssau.ru/handle/Vestnik-SGAU-Problemy-i-perspektivy-razvitiya-dvigatelestroeniya/Sreda-programmirovaniya-strukturirovannaya-v-terminah-yazyka-64611 |
Другие идентификаторы : | Dspace\SGAU\20170621\64611 |
Располагается в коллекциях: | Вестник СГАУ. Проблемы и перспективы развития двигателестроения |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
dv_1998_113-120.pdf | Основная статья | 3.14 MB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.