Conditional Lambda-Theories and the Verification of Static Properties of Programs

Mitchell Wand, Zheng-Yu Wang

Browse the full LICS paper archive.