193
click to vote
PLDI
2006
ACM
16 years 20 days 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...