Inversion of Applicative Programs
Inversion of Applicative Programs
复制标题
应用程序的反演
DOI：
--
复制
发表时间：
1981
期刊：
影响因子：
--
通讯作者：
R. Korf
中科院分区：
文献类型：
--
作者：
R. Korf
提出了一种用纯LISP语言编写的程序，并自动导出计算给定程序的反函数的程序的技术。该方案基于一套求逆原函数的规则和一种由不可逆函数引入的变量的求解方法。例如，倒排列表的程序就是倒排的。
A technique is presented for taking a program written in pure LISP and automatically deriving a program which computes the inverse function of the given program The scheme is based on a set of rules for inverting the primitive functions plus a method of solving for variables introduced by non-invertible functions. As an example, a program to reverse a list is inverted.