In contrast to popular belief, proving termination is not always impossible.
advertisement
Home → Magazine Archive → May 2011 (Vol. 54, No. 5) → Proving Program Termination → Abstract
Proving Program Termination
0 Comments
No entries found
Log in to Read the Full Article
Purchase the Article