> -- Сергей Прохоренко писал(а):
> Есть ли какие-нибудь подвижки в этом деле? Название придумали?

Угу. Называется Ada
Чтобы небыло описок (чтобы свести их вероятность к минимому) синтаксис языка должен быть соответствующим образом под это дело заточен. +  к аде существует пачка утилит для дополнительных проверок (например gnatcheck тот же). Но я таки не понимаю чем тут может помочь семантический редактор. В чем там семантика то? Таковой редактор может быть конечно хорош для языков с ущербным (небезопасным) синтаксисом, типа С. У оберона ущербный небезопасный синтаксис?