Substitution: A Formal Methods Case Study Using Monads and Transformations
Substitution: A Formal Methods Case Study Using Monads and Transformations
复制标题
替代：使用 Monad 和转换的形式方法案例研究
DOI：
10.1016/0167-6423(94)00022-0
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
J. Hook
中科院分区：
文献类型：
--
作者：
F. Bellegarde;J. Hook
λ 项的 de Bruijn 表示的替换的规范和推导用于说明使用函数序列单子进行编程。通过交互式程序转换方法将生成的程序改进为使用原始机器算术的高效实现。这些变换说明了有助于发现解决方案的算术结构的新技术。
The specification and derivation of substitution for the de Bruijn representation of λ-terms is used to illustrate programming with a function-sequence monad. The resulting program is improved by interactive program transformation methods into an efficient implementation that uses primitive machine arithmetic. These transformations illustrate new techniques that assist the discovery of the arithmetic structure of the solution.