> -- Сергей Прохоренко писал(а):
> Мои материалы по этой теме будут на сайте  максимум месяца через два - посмотрите.

Похоже, что я взялся "изобретать велосипед" (чего совершенно не хочется) - и никто из профессиональных программистов меня не остановил. Возможно, что они сами "не в курсе".

Вот структурные редакторы, которые мне попались в интернете:
SymADEhttp://symade.tigris.org
SOPhttp://www.symade.com
СОКРАТ    (отечественный проект закрыт, результаты якобы используются, но конкретики в интернете нет)
> -- Цитата:
> :Инструменты структурного конструирования включают , анализаторы статических свойств (наличия неиспользуемых объектов, информационных зависимостей в программе и пр.) и интерпретатора незавершенных программ, обнаруживающего свойства исполнения.Теперешняя версия системы разработана для языка Модула-2. однако большинство инструментов системы языково-независимо и ориентировано на класс языков со статическим контролем типов --- Модула-2, , Ада, С++. Определенная проработка погружения других входных языков ведется: на класс таких языков ориентирован внутренний язык и ряд процессоров обработки программ, структурный редактор является языково-настраиваемым и т.п.
MPShttp://www.jetbrains.com/mps
IPhttp://www.intentsoft.com

Кто-нибудь имел с ними дело? Позволяют ли они отказаться от текстового представления программы? Легко ли их приспособить для программирования на Обероне?

Вопрос Валерию Лаптеву: соответствуют ли эти системы Вашему представлению о том, каким должен быть семантический редактор?