Rules and strategies for transforming functional and logic programs

被引：66
作者：
Pettorossi, A [1 ]
Proietti, M [1 ]
机构：
[1] CNR, IST ANAL SISTEMI & INFORMAT, I-00185 ROME, ITALY
来源：
ACM COMPUTING SURVEYS | 1996年 / 28卷 / 02期
关键词：
program derivation; program improvement; transformation rules; transformation strategies;
D O I：
10.1145/234528.234529
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present an overview of the program transformation methodology, focusing our attention on the so-called ''rules + strategies'' approach in the case of functional and logic programs. The paper is intended to offer an introduction to the subject. The various techniques we present are illustrated via simple examples.
引用
收藏
页码：360 / 414
页数：55
相关论文
共 136 条
[1]  
ABRAMSKY S, 1987, ABSTR INT DECL LANG
[2]  
AERTS K, 1991, AUTOLAP SYSTEM TRANS
[3]  
ALEXANDRE F, 1992, LECT NOTES ARTIF INT, V624, P445
[4]  
[Anonymous], 1990, SPECIFICATION TRANSF
[5]  
ARAVINDAN C, 1993, CORRECTNESS UNFLOD F
[6]   SOME TECHNIQUES FOR RECURSION REMOVAL FROM RECURSIVE FUNCTIONS [J].
ARSAC, J ;
KODRATOFF, Y .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (02) :295-322
[7]  
Aubin R., 1979, Theoretical Computer Science, V9, P329, DOI 10.1016/0304-3975(79)90034-3
[8]   CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS [J].
BACKUS, J .
COMMUNICATIONS OF THE ACM, 1978, 21 (08) :613-641
[9]   PROOFS AS PROGRAMS [J].
BATES, JL ;
CONSTABLE, RL .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01) :113-136
[10]  
BAUER FL, 1987, MUNICH PROJECT CIP, V292
12345678910