AUTOMATIC, SELF-ADAPTIVE CONTROL OF UNFOLD-FOLD TRANSFORMATIONS

被引：0

作者：

BOYLE, JM

机构：

来源：

PROGRAMMING CONCEPTS, METHODS AND CALCULI | 1994年 / 56卷

关键词：

AUTOMATIC PROGRAMMING; APPLICATIVE (FUNCTIONAL) PROGRAMMING; GRAMMARS AND OTHER REWRITING SYSTEMS;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

I describe an automated approach to partial evaluation based transformations for elementary simplifications and unfolding and folding, The approach emphasizes program algebra and relies on canonical forms and distributive laws to expose instances to which the elementary simplifications apply. This approach to partial evaluation has been applied to a number of practical examples of moderate complexity, including eliminating a data structure from a partial-differential-equation solver.

引用

页码：83 / 103

页数：21

共 13 条

[1]

Boyle J. M., 1992, Journal of Functional Programming, V2, P81, DOI 10.1017/S0956796800000289

[2] PROGRAM REUSABILITY THROUGH PROGRAM TRANSFORMATION [J].

BOYLE, JM ;

MURALIDHARAN, MN .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (05) :574-588

[3]

BOYLE JM, 1991, 1991 P IFIP TC2 WG2, P205

[4]

BOYLE JM, 1989, SOFTWARE REUSABILITY, V1, P361

[5]

BOYLE JM, 1987, 1991 P IFIP TC2 WG2

[6]

BOYLE JM, 1970, ANL7690 REP

[7] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

JOURNAL OF THE ACM, 1977, 24 (01) :44-67

[8]

CARSTEN K, 1991, J FUNCTIONAL PROGRAM, V1, P21

[9] A SYSTEM FOR ASSISTING PROGRAM TRANSFORMATION [J].

FEATHER, MS .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (01) :1-20

[10]

FRIEDMAN DP, 1986, LITTLE LISPER

← 1 2 →