Proving program termination
Published in Communications of the ACM • Apr 26, 2011
NobleIDNI8P69W63R47S74
Authors:,,
Byron Cook
Andreas Podelski
Andrey Rybalchenko
Abstract
In contrast to popular belief, proving termination is not always impossible.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!