Без заголовка
Я, кстати, не видел нигде четкого отличие суперкомпиляции от частичных вычислений. Т.е. как только доходит до формул -- ровно то=же самое. За ссылку на диссертацию спасибо -- посмотрю.
Чтор касается того, почему направление не развивается -- развивается, но непонятно что с ним делать (как применить), коммерчески source to source transformation это рынок средств разработки, который каннибализирован open source.
(Кстати, частичные вычисления на Java мы сделали и довели до продуктв [http://www.gradsoft.ua/products/jpe_rus.html], теперь бы найти партнера что бы что-то сделать с маркетингом ;)]
Еще несколько ссылок на смежные темы есть у меня в посте про Рефал (http://rssh.livejournal.com/77559.html#cutid1) -- может Вам будет интересно.