1 paper · 1 filter
Weijun Chen, Yuxi Fu, Huan Long
Runtime efficiency and termination are crucial properties in the studies of program verification. Instead of dealing with these issues in an ad hoc manner, it would be useful to de…