Инверсивное программирование, исследования подходов оптимизации при помощи рекурсивно-инверсивных цепей.