A Resource-Based Logic for Termination and Non-termination Proofs.

Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin

Browse the full ICFEM paper archive.