Рассматриваются некоторые широко известные, а также новые способы оптимизации программ, связанные с распознаванием и трансформациями индуктивных переменных. Предлагается набор алгоритмов символьного анализа индуктивных переменных и приводятся практические результаты применения этих алгоритмов.
