基于符号运算的归纳变量识别与约化

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于符号运算的归纳变量识别与约化

周雷, 陈克非

Induction Variable Recognition and Reduction Based on Symbolic Operation

ZHOU Lei, CHEN Ke-Fei

计算机工程 . 2010, (24): 71 -73 . DOI: 10.3969/j.issn.1000-3428.2010.24.025