Про интерпретатор я знаю...мы же про компилятор...
А вообще началось с того, что программа - не только императив (Илья, кажется, сказал... и не в первый раз). Отсюда и вторая часть оопределения. Что и повлекло за собой необходимость различать исполнителей...

В принципе это уже сделал Кауфман:viewtopic.php?p=71218#p71218и не он один...

Да, про методическую неверность я понял... как раз через исполнителя она исправляется... Т.е. неимперативная программа - такая, что предназначена для исполнителя, способного выполнять алгоритмизацию. В сущности, тот же Кауфман...А уж исполнитель этот либо интеллектуальный (управляемый целями на основании согласованной модели мира), либо "машинный" (то же, только в пределах текущих познаний создателей о механизмах мышления).