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 - и найдём ту же проблематику "гонок", что и в цитате отсюда... только на другом уровне... Или пункт 6.8 - и там принцип стековой организации исполнения, тоже справедливый и для программной реализации... Ну и интересно сопоставить с Закревским (в том смысле например, что "секвенциальный автомат" - тоже функциональный узел :) и сам тоже подчиняется требованиям синхронизации, обсуждаемым в Главе 8 ).

Страница 2 из 2 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/