Warm fusion: deriving build-catas from recursive definitions
Warm fusion: deriving build-catas from recursive definitions
复制标题
热融合：从递归定义导出构建目录
DOI：
10.1145/224164.224223
复制
发表时间：
1995
影响因子：
1.1
通讯作者：
T. Sheard
中科院分区：
文献类型：
--
作者：
J. Launchbury;T. Sheard
程序融合是将单独的代码融合到单个部分中的过程，通常将多通算法转换为单个通行证。最近的工作清楚地表明，如果使用can态表达循环或递归，则该过程尤其成功（e
Program fusion is the process whereby separate pieces of code are fused into a single piece, typically transforming a multi-pass algorithm into a single pass. Recent work has made it clear that the process is especially successful if the loops or recursions are expressed using catamorphisms (e