投资

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考

显示第1到第10个结果，共10个。
按年份排序(引用)

  1. Nishida，Naoki；Vidal，Germanán:计算条件重写系统的更具体版本（2013）
  2. Nagashima，Masanori；Sakai，Masahiko；Sakabe，Toshiki:条件术语重写系统的确定（2012）
  3. Nishida，Naoki；Vidal，German:尾部递归函数的程序反转（2011）
  4. 部分归纳胚芽函数（Jiménúsúsúsúsúsúsúsúsúsúsúsúsúsúsú
  5. Nishida，Naoki；Sakai，Masahiko；Sakabe，Toshiki:构造函数项重写系统的部分反转（2005）
  6. Glück，Robert；Kawabe，Masahiko：基于LR解析的确定性逆程序的推导（2004）
  7. Glück，Robert；Kawabe，Masahiko：一个函数语言的程序转换器，具有等式和构造函数。（2003年）
  8. 阿布拉莫夫，谢尔盖；葛吕克，罗伯特：逆计算原理和通用求解算法（2002）
  9. 阿布拉莫夫，谢尔盖；葛吕克，罗伯特：通用求解算法：函数语言中的逆计算（2000）
  10. 德肖维茨，纳库姆（编辑）：重写技术和应用。1989年4月5日，美国北卡罗来纳州希尔第三届RTA会议。诉讼（1989年）