Home → Magazine Archive → May 2011 (Vol. 54, No. 5) → Proving Program Termination → Abstract

Proving Program Termination

By Byron Cook, Andreas Podelski, Andrey Rybalchenko

Communications of the ACM, Vol. 54 No. 5, Pages 88-98
10.1145/1941487.1941509

[article image]


In contrast to popular belief, proving termination is not always impossible.

The full text of this article is premium content

0 Comments

No entries found