Landau: language for dynamical systems with automatic differentiation

Несмотря на наличие множества средств для автоматического дифференцирования, ни одно из них не является практически применимым для моделирования динамических систем. “Landau” – это неполный по Тьюрингу, статически типизированный проблемно-ориентированный язык, созданный с целью заполнить этот пробел. Неполнота по Тьюрингу открывает возможности для продвинутого синтаксического анализа и, в конечном итоге, генерации оптимизированного кода. Синтаксис языка поддерживает объявление функций, циклы for с известными на момент компиляции пределами, конструкции ветвления if/else, переменные и массивы действительных чисел, а также возможность избирательно опускать вычисление пренебрежимо малых значений производных. Несмотря на ограничения, язык достаточно выразителен для удобного задания и дифференцирования любого выражения. Библ. – 12 назв.