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 条
[11]  
LEMETAYER D, 1987, 1987 P FRANC JAP ART
[12]  
MACCARTHY J, 1963, COMPUTER PROGRAMMING
[13]   INDUCTIVE METHODS FOR PROVING PROPERTIES OF PROGRAMS [J].
MANNA, Z ;
NESS, S ;
VUILLEMIN, J .
COMMUNICATIONS OF THE ACM, 1973, 16 (08) :491-502
[14]  
Stanat D, 1977, DISCRETE MATH COMPUT
[15]  
Wegbreit B., 1976, IEEE Transactions on Software Engineering, VSE-2, P69, DOI 10.1109/TSE.1976.233533
[16]   MECHANICAL PROGRAM ANALYSIS [J].
WEGBREIT, B .
COMMUNICATIONS OF THE ACM, 1975, 18 (09) :528-539
[17]   ON THE DEVELOPMENT OF THE ALGEBRA OF FUNCTIONAL PROGRAMS [J].
WILLIAMS, JH .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (04) :733-757
12