Alignment Completeness for Relational Hoare Logics.

Ramana Nagasamudram, David A. Naumann

Browse the full LICS paper archive.