173
click to vote
PLDI
2006
ACM
16 years 10 hour ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...