ON PROVING UNIFORM TERMINATION AND RESTRICTED TERMINATION OF REWRITING-SYSTEMS

被引：27
作者：
GUTTAG, JV [1 ]
KAPUR, D [1 ]
MUSSER, DR [1 ]
机构：
[1] GE,CORP RES & DEV,SCHENECTADY,NY 12301
来源：
SIAM JOURNAL ON COMPUTING | 1983年 / 12卷 / 01期
关键词：
D O I：
10.1137/0212012
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：189 / 214
页数：26
相关论文
共 50 条
[41]   Proving Termination Through Conditional Termination [J].
Borralleras, Cristina ;
Brockschmidt, Marc ;
Larraz, Daniel ;
Oliveras, Albert ;
Rodriguez-Carbonell, Enric ;
Rubio, Albert .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 :99-117
[42]   TERMINATION PROOFS FOR TERM REWRITING-SYSTEMS BY LEXICOGRAPHIC PATH ORDERINGS IMPLY MULTIPLY RECURSIVE DERIVATION LENGTHS [J].
WEIERMANN, A .
THEORETICAL COMPUTER SCIENCE, 1995, 139 (1-2) :355-362
[43]   TERMINATION OF REWRITING [J].
DERSHOWITZ, N .
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) :69-116
[44]   Termination of narrowing via termination of rewriting [J].
Nishida, Naoki ;
Vidal, German .
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2010, 21 (03) :177-225
[45]   Termination of narrowing via termination of rewriting [J].
Naoki Nishida ;
Germán Vidal .
Applicable Algebra in Engineering, Communication and Computing, 2010, 21 :177-225
[46]   AN ACTUAL IMPLEMENTATION OF A PROCEDURE THAT MECHANICALLY PROVES TERMINATION OF REWRITING-SYSTEMS BASED ON INEQUALITIES BETWEEN POLYNOMIAL INTERPRETATIONS [J].
CHERIFA, AB ;
LESCANNE, P .
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 :42-51
[47]   Methods for Proving Termination of Rewriting-based Programming Languages by Transformation [J].
Duran, Francisco ;
Lucas, Salvador ;
Meseguer, Jose .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 248 :93-113
[48]   Proving Termination of Context-Sensitive Rewriting with MU-TERM [J].
Alarcon, Beatriz ;
Gutierrez, Raul ;
Iborra, Jose ;
Lucas, Salvador .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 188 :105-115
[49]   REWRITING-SYSTEMS [J].
JOUANNAUD, JP ;
LESCANNE, P .
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1986, 5 (06) :433-452
[50]   An analysis for proving probabilistic termination of biological systems [J].
Gori, Roberta ;
Levi, Francesca .
THEORETICAL COMPUTER SCIENCE, 2013, 471 :27-73
12345