The Path Not Taken: Duality in Reasoning about Program Execution.

Eshgin Hasanov, Md. Mahadi Hassan, Santu Karmaker, Aashish Yadavally

Browse the full ACL paper archive.