Termination-checking for LLVM peephole optimizations.

David Menendez, Santosh Nagarakatte

Browse the full ICSE paper archive.