4 ms·
> Tell me when my loop terminates. I think the point is that even though one can't determine loop termination for all loops (easily provable), there are a huge
by jjnoakes 3y ago
> Tell me when my loop terminates.
I think the point is that even though one can't determine loop termination for all loops (easily provable), there are a huge number of useful loops that do useful work and for which you can prove properties like termination (and other static properties).
- redjamjar 3y ago> there are a huge number of useful loops that do useful work and for which you can prove properties like termination Exactly! If the loop doesn't terminate, then you obviously cannot show it. But if it does, then you should be able to (even if that requires some changes to help the tool)