A Purely Logical Approach to the Termination of Imperative Loops
Keyword(s):
Keyword(s):
Keyword(s):
2015 ◽
Vol 8
(4)
◽
pp. 722-742
◽
2009 ◽
Vol 247
◽
pp. 123-138