Proving Program Termination

被引：82

作者：

Cook, Byron ^{[1
,2
]}

Podelski, Andreas ^{[3
]}

Rybalchenko, Andrey ^{[4
]}

机构：

[1] Univ Cambridge, Microsofts Res Lab, Cambridge CB2 1TN, England

[2] Univ London, London WC1E 7HU, England

[3] Univ Freiburg, D-7800 Freiburg, Germany

[4] Tech Univ Munich, D-8000 Munich, Germany

来源：

关键词：

D O I：

10.1145/1941487.1941509

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：88 / 98

页数：11