9

Состояние дел

• Имеем:

  • метаязык Рефал

  • теорию и методологию суперкомпиляции
    (и другие методы метавычислений,
    например: частичные вычисления)

  • суперкомпилятор Рефала
     

• Разрабатываем:

  • парадигму суперкомпиляции:
    приемы решения задач с помощью суперкомпилятора Рефала

  • суперкомпилятор языка Java