OberonCore

Статья А.П. Ершова: http://ershov.iis.nsk.su/russian/articles_pdf/05.pdf (начало 1970-х).
Валерий уже представлял (на драконсу в связи со схемами Янова). Однако и предмет более общий и, как показывают обсуждения, для концепций структурного/семантического редактирования интересно...

По теории связана, в частности, с моделью организации кода по Расторгуеву (здесь в числе прочего ставится задача исследования порядков следования операторов, которую модель формализует).

Наша статья про Semantic IDE: http://astu.org/content/userimages/vest ... 3_2/24.pdf
В моделях я там несколько накосячил, но это из-за спешки - требовали быстро.
В следующей статье напишу всю модель правильную...

Ну, в общем уже отсюда возникает мысль, что Расторгуев шёл в правильном направлении со своей формализацией кода через правила подстановочности операторов... Кстати, теперь есть с чем ещё связать введённые здесь правила применимости... как раз они могут применяться в целях представления m-правил в определении языка... что, кстати, было показано для ИС тут...

Выдержка:
Тут взято как раз про реализацию процессов "в железе". Как представляется, и некоторые мысли Игната (про иерархические модели систем) кое с чем пересекаются. Допустим, возьмём Главу 5 - и найдём ту же проблематику "гонок", что и в цитате отсюда... только на другом уровне... Или пункт 6.8 - и там принцип стековой организации исполнения, тоже справедливый и для программной реализации... Ну и интересно сопоставить с Закревским (в том смысле например, что "секвенциальный автомат" - тоже функциональный узел и сам тоже подчиняется требованиям синхронизации, обсуждаемым в Главе 8 ).

Валерий, а есть где-нибудь описание библиотеки? Все вот эти вот Файлы.ЗаписатьСтроку?

Нет нигде. Поскольку это все на русском прямо в стреде - нигде в публикациях не писали - студенты и так все понимают без доков.