OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Среда, 24 Октябрь, 2018 04:06

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 24 ]  На страницу Пред.  1, 2
Автор Сообщение
СообщениеДобавлено: Воскресенье, 19 Май, 2013 04:24 

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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Официальные публикации
СообщениеДобавлено: Воскресенье, 29 Сентябрь, 2013 20:48 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 2846
Откуда: Астрахань
Наша статья про Semantic IDE: http://astu.org/content/userimages/vest ... 3_2/24.pdf
В моделях я там несколько накосячил, но это из-за спешки - требовали быстро.
В следующей статье напишу всю модель правильную... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Официальные публикации
СообщениеДобавлено: Четверг, 03 Октябрь, 2013 08:49 

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 31 Октябрь, 2013 07:35 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Выдержка:
Вложение:

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


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 24 ]  На страницу Пред.  1, 2

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2018, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB