О группе

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

Участники

Модераторы
Участники группы (4)

  • « Previous
  • 1
  • Next »