3 ms·
The basic logic flags any loop ("back-edge").
by pkhuong 2y ago
The basic logic flags any loop ("back-edge").
- rezonant 2y agoThis, others have said it less concisely, but a program without loops and arbitrary jumps is guaranteed to halt if we assume the external functions it calls into will halt.