OberonCore https://forum.oberoncore.ru/ |
|
Официальные публикации https://forum.oberoncore.ru/viewtopic.php?f=93&t=4195 |
Страница 2 из 2 |
Автор: | Владислав Жаринов [ Воскресенье, 19 Май, 2013 04:24 ] |
Заголовок сообщения: | Всё ещё СОВРЕМЕННОЕ СОСТОЯНИЕ ТЕОРИИ СХЕМ ПРОГРАММ :) |
Статья А.П. Ершова: http://ershov.iis.nsk.su/russian/articles_pdf/05.pdf (начало 1970-х). Валерий уже представлял (на драконсу в связи со схемами Янова). Однако и предмет более общий и, как показывают обсуждения, для концепций структурного/семантического редактирования интересно... По теории связана, в частности, с моделью организации кода по Расторгуеву (здесь в числе прочего ставится задача исследования порядков следования операторов, которую модель формализует). |
Автор: | Валерий Лаптев [ Воскресенье, 29 Сентябрь, 2013 20:48 ] |
Заголовок сообщения: | Re: Официальные публикации |
Наша статья про Semantic IDE: http://astu.org/content/userimages/vest ... 3_2/24.pdf В моделях я там несколько накосячил, но это из-за спешки - требовали быстро. В следующей статье напишу всю модель правильную... |
Автор: | Владислав Жаринов [ Четверг, 03 Октябрь, 2013 08:49 ] |
Заголовок сообщения: | Re: Официальные публикации |
Ну, в общем уже отсюда возникает мысль, что Расторгуев шёл в правильном направлении со своей формализацией кода через правила подстановочности операторов... Кстати, теперь есть с чем ещё связать введённые здесь правила применимости... как раз они могут применяться в целях представления m-правил в определении языка... что, кстати, было показано для ИС тут... |
Автор: | Владислав Жаринов [ Четверг, 31 Октябрь, 2013 07:35 ] |
Заголовок сообщения: | Немного об императивных исполнителях :) |
Выдержка: Вложение:
Потёмкин-ФункУзлыЦифрАвт-извл(БибД+Пред+Гл5,7,8,11+ПП6_4-6_8+Лит+Огл).djvu [1.11 МБ]
Скачиваний: 721 Тут взято как раз про реализацию процессов "в железе". Как представляется, и некоторые мысли Игната (про иерархические модели систем) кое с чем пересекаются. Допустим, возьмём Главу 5 - и найдём ту же проблематику "гонок", что и в цитате отсюда... только на другом уровне... Или пункт 6.8 - и там принцип стековой организации исполнения, тоже справедливый и для программной реализации... Ну и интересно сопоставить с Закревским (в том смысле например, что "секвенциальный автомат" - тоже функциональный узел и сам тоже подчиняется требованиям синхронизации, обсуждаемым в Главе 8 ). |
Автор: | budden [ Четверг, 12 Ноябрь, 2020 20:46 ] |
Заголовок сообщения: | Re: Официальные публикации |
Валерий, а есть где-нибудь описание библиотеки? Все вот эти вот Файлы.ЗаписатьСтроку? |
Автор: | Валерий Лаптев [ Пятница, 13 Ноябрь, 2020 10:50 ] |
Заголовок сообщения: | Re: Официальные публикации |
Нет нигде. Поскольку это все на русском прямо в стреде - нигде в публикациях не писали - студенты и так все понимают без доков. |
Страница 2 из 2 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |