Advances in Program Termination and Liveness.

Byron Cook

Browse the full VMCAI paper archive.