投资

自动功能逆变器。我们已经实现了InvX,这是一个可以机械地为一类函数生成逆运算的系统。通过在编译时应用一组扩展的函数级公理,可以转换逆运算的表达式,这样在许多情况下,在运行时不需要统一。这使得它们的执行成本与基于约简的语义的执行成本相当。我们还描述了InvX在旗舰编程环境中的合并。InvX已经成功地应用于许多例子中。