ACE - AN AUTOMATIC COMPLEXITY EVALUATOR

被引：56
作者：
LEMETAYER, D
机构：
[1] IRISA/INRIA, Rennes, Fr, IRISA/INRIA, Rennes, Fr
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1988年 / 10卷 / 02期
关键词：
D O I：
10.1145/42190.42347
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
17
引用
收藏
页码：248 / 266
页数：19
相关论文
共 17 条
[1]  
Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
[2]   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
[3]  
BACKUS JW, 1981, LECTURE NOTES COMPUT, V27, P1
[4]   TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].
BURSTALL, RM ;
DARLINGTON, J .
JOURNAL OF THE ACM, 1977, 24 (01) :44-67
[5]   COMPUTER-ASSISTED MICROANALYSIS OF PROGRAMS [J].
COHEN, J .
COMMUNICATIONS OF THE ACM, 1982, 25 (10) :724-733
[6]   SYSTEM WHICH AUTOMATICALLY IMPROVES PROGRAMS [J].
DARLINGTON, J ;
BURSTALL, RM .
ACTA INFORMATICA, 1976, 6 (01) :41-60
[7]  
Darlington J., 1982, FUNCTIONAL PROGRAMMI
[8]   A SYSTEM FOR ASSISTING PROGRAM TRANSFORMATION [J].
FEATHER, MS .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (01) :1-20
[9]  
GUTTAG J, 1981, 1981 P C FUNCT PROGR, P11
[10]  
Knuth D., 1973, ART COMPUTER PROGRAM, V1
12