Д.ARMоед (03.03.2015 23:19, просмотров: 94) ответил Evgeny_CD на А что скажет Д'АРМоед?
вот бложик, который избавит от массы иллюзий -> http://metacomputation-ru.blogspot.ru/2009/05/meta-ru-scp-notes.html
собственно, скормить AST(Abstract Syntax Tree) суперкомпилятору - не проблема.
засада в том, что результат гарантированно будет верным, если в исходной программе отсутствут динамические связи по данным и динамические связи в потоках управления. когда таковые появляются, AST неявно превращается в.. произвольный граф, и приходится искать частные решения(напр. путем допиливания суперкомпилятора)