О группе

Метавычисления (metacomputation) - это довольно широкое понятие, под которое подпадают такие методы построения, преобразования, и анализа программ, как частичные вычисления (partial evaluation), суперкомпиляция (supercompilation), дистилляция (distillation), обезлесивание (deforestation). Метавычисления могут применяться для решения таких задач, как специализация программ (program specialization), сплавление/композиция программ (program fusion/composition), выделение срезов программ (program slicing), инверсия программ (program inversion) и др.

Метавычисления и специализация программ

Метавычисления и специализация программ
http://groups.google.ru/group/metacomputation-ru
Метавычисления и специализация программ (metacomputation-ru.blogspot)
http://metacomputation-ru.blogspot.com/